The problems encountered in CAGD are sometimes reminiscent of 19th century problems. At that time, realizing the difficulties one had working in affine instead of projective space, and over the real numbers instead of the complex numbers one soon shifted the theoretical work towards projective geometry over the complex numbers. In fact, it is still in this situation that the modern intersection theory from algebraic geometry works best.
A variant of the classical Sturm sequence is presented for computing the number of real solutions of a polynomial system of equations inside a presecribed box. The advantage of this technique is based on the possibility of being used to derive bisection algorithms towards the isolation of the searched real solutions.
Algorithms using Sturm–Habicht based methods have been implemented and are available at
Published May 27, 2005