Sciweavers

37 search results - page 1 / 8
» Identities in the Algebra of Partial Maps
Sort
View
IJAC
2006
56views more  IJAC 2006»
13 years 4 months ago
Identities in the Algebra of Partial Maps
Marcel Jackson, Timothy Stokes
JSYML
2008
66views more  JSYML 2008»
13 years 4 months ago
Flat algebras and the translation of universal Horn logic to equational logic
We describe which subdirectly irreducible flat algebras arise in the variety generated by an arbitrary class of flat algebras with absorbing bottom element. This is used to give an...
Marcel Jackson
AAECC
1998
Springer
167views Algorithms» more  AAECC 1998»
13 years 4 months ago
Generalized Bezout Identity
We describe a new approach of the generalized Bezout identity for linear time-varying ordinary differential control systems. We also explain when and how it can be extended to line...
J. F. Pommaret, Alban Quadrat
EUROCAST
2009
Springer
153views Hardware» more  EUROCAST 2009»
13 years 2 months ago
Algorithm for Testing the Leibniz Algebra Structure
Abstract. Given a basis of a vector space V over a field K and a multiplication table which defines a bilinear map on V , we develop a computer program on Mathematica which checks ...
José Manuel Casas, Manuel A. Insua, Manuel ...
JLP
2006
98views more  JLP 2006»
13 years 4 months ago
Partiality I: Embedding relation algebras
As long as no cooperation between processes is supposed to take place, one may consider them separately and need not ask for the progress of the respective other processes. If a c...
Gunther Schmidt