-
Article
Visualizing Planar and Space Implicit Real Algebraic Curves with Singularities
This paper presents a new method for visualizing implicit real algebraic curves inside a bounding box in the 2-D or 3-D ambient space based on numerical continuation and critical point methods. The underlying ...
-
Chapter and Conference Paper
Real Root Isolation of Regular Chains
We present an algorithm RealRootIsolate for isolating the real roots of a polynomial system given by a zerodimensional squarefree regular chain. The output of the algorithm is guaranteed in the sense that all rea...
-
Chapter and Conference Paper
An Incremental Algorithm for Computing Cylindrical Algebraic Decompositions
In this paper, we propose an incremental algorithm for computing cylindrical algebraic decompositions. The algorithm consists of two parts: computing a complex cylindrical tree and refining this complex tree i...