1730 search results - page 12 / 346 » Algebra and Computation |
STACS
2001
Springer
13 years 12 months ago
2001
Springer
It is well known that finite square matrices over a Kleene algebra again form a Kleene algebra. This is also true for infinite matrices under suitable restrictions. One can use t...
CSJM
2008
13 years 7 months ago
2008
In a present paper a problem of classification of Aff(2, R)orbits' dimensions is considered on example of an autonomous two-dimensional affine differential system of first or...
ECCV
1998
Springer
14 years 9 months ago
1998
Springer
This paper gives a practical and accurate algorithm for the computation of the quadrifocal tensor and extraction of camera matrices from it. Previous methods for using the quadrifo...
ISSAC
2009
Springer
14 years 2 months ago
2009
Springer
Cylindrical algebraic decomposition is one of the most important tools for computing with semi-algebraic sets, while triangular decomposition is among the most important approache...
LICS
2006
IEEE
14 years 1 months ago
2006
IEEE
In this paper we show that the Stone representation theorem for Boolean algebras can be generalized to combinatory algebras. In every combinatory algebra there is a Boolean algebr...