3454 search results - page 80 / 691 » Modern computer algebra |
184
click to vote
FROCOS
2000
Springer
15 years 9 months ago
2000
Springer
Abstract. We discuss a pragmatic approach to integrate computer algebra into proof planning. It is based on the idea to separate computation and veri cation and can thereby exploit...
161
click to vote
DISCO
1993
15 years 10 months ago
1993
The fastest known algorithms in classical algebra make use of signature functions. That is, reducing computation with formulae to computing with the integers modulo p, by substitut...
135
click to vote
COMPGEOM
2000
ACM
15 years 10 months ago
2000
ACM
In this paper we describe and discuss a new kernel design for geometric computation in the plane. It combines different kinds of floating-point filter techniques and a lazy eval...
152
click to vote
COMPGEOM
2004
ACM
15 years 9 months ago
2004
ACM
The Bentley-Ottmann sweep-line method can be used to compute the arrangement of planar curves provided a number of geometric primitives operating on the curves are available. We d...
170
click to vote
COMGEO
2006
ACM
15 years 6 months ago
2006
ACM
We present an approach for the exact and efficient computation of a cell in an arrangement of quadric surfaces. All calculations are based on exact rational algebraic methods and ...