Exact intersection algorithms
Modern intersection theory in algebraic geometry has developed from the work of many mathematicians over many decades [Fulton]. It has become a rich and sophisticated theory, yielding a lot of very useful and powerful theorems and techniques. The aim of this work has been is to show how this theory can be used in effective algebraic geometry and practically in Computer Aided Geometric Design (CAGD).
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.
Bisection through a Multidimensional Sturm Theorem
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.
Algortithms for exact interesction
Algorithms using Sturm–Habicht based methods have been implemented and are available at
Main definitions and theorems
On the degrees of the resultants
Applications in CAGD