3454 search results - page 38 / 691 » Modern computer algebra |
169
click to vote
COMPGEOM
2005
ACM
15 years 7 months ago
2005
ACM
We consider the problem of computing a representation of the plane graph induced by one (or more) algebraic curves in the real plane. We make no assumptions about the curves, in p...
150
click to vote
ARITH
2005
IEEE
15 years 7 months ago
2005
IEEE
This paper presents a novel error-free (infinite-precision) architecture for the fast implementation of both 2-D Discrete Cosine Transform and Inverse DCT. The architecture uses a...
182
click to vote
GIAE
2004
Springer
15 years 10 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 ...
130
click to vote
DIMACS
2001
15 years 6 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...
163
click to vote
JAR
1998
15 years 5 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...