2853 search results - page 34 / 571 » On Coherence in Computer Algebra |
GIAE
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. This paper introduces the mathematical framework of conformal geometric algebra (CGA) as a language for computer graphics and computer vision. Specifically it discusses ...
AISC
1992
Springer
14 years 29 days ago
1992
Springer
Abstract. An important feature of modern computer algebra systems is the support of a rich type system with the possibility of type inference. Basic features of such a type system ...
DIMACS
2001
13 years 10 months ago
2001
We investigate visibility computations with moving viewpoints. The initial problems are of discrete and algorithmic nature, but even for simple classes of objects (such as balls an...
JAR
1998
13 years 8 months ago
1998
Mechanized reasoning systems and computer algebra systems have different objectives. Their integration is highly desirable, since formal proofs often involve both of the two differ...
IEEEPACT
2008
IEEE
14 years 3 months ago
2008
IEEE