COMPGEOM
2008
ACM
14 years 2 months ago
2008
ACM
We present a method to compute the exact topology of a real algebraic surface S, implicitly given by a polynomial f
ISSAC
1992
Springer
14 years 4 months ago
1992
Springer
Real algebraic numbers appear in many Computer Algebra pro bJems. For inst ante the determination of a cylindrical algebraic decomposition for an euclidian space requires compu ti...
ISSAC
2005
Springer
14 years 6 months ago
2005
Springer
We define a class of special function inequalities that contains many classical examples, such as the Cauchy-Schwarz inequality, and introduce a proving procedure based on induct...
ISSAC
2007
Springer
14 years 6 months ago
2007
Springer
An algorithm is presented for the geometric analysis of an algebraic curve f(x, y) = 0 in the real affine plane. It computes a cylindrical algebraic decomposition (CAD) of the pla...