2853 search results - page 89 / 571 » On Coherence in Computer Algebra |
AML
2008
14 years 10 months ago
2008
We compare realizability models over partial combinatory algebras by embedding them into sheaf toposes. We then use the machinery of Grothendieck toposes and geometric morphisms t...
MOC
2002
14 years 9 months ago
2002
For a linear ordinary differential equation the Lie algebra of its infinitesimal Lie symmetries is compared with its differential Galois group. For this purpose an algebraic formul...
102
click to vote
ICRA
2005
IEEE
15 years 3 months ago
2005
IEEE
— This paper presents an approach to deal with standard tasks of computer animations and robotics based on Conformal Geometric Algebra. We will show that this algebra is very wel...
CORR
2007
Springer
14 years 9 months ago
2007
Springer
We survey results in algebraic complexity theory, focusing on matrix multiplication. Our goals are (i.) to show how open questions in algebraic complexity theory are naturally pose...
109
click to vote
ACS
2008
14 years 10 months ago
2008
Algebras and coalgebras are fundamental notions for large parts of mathematics. The basic constructions from universal algebra are now expressed in the language of categories and ...