Parametric Polynomial System Solving by Radicals and Its Geometric Applications
Résumé rédigé par
Directeur de thèse:
Unité de recherche UMR 7606 Laboratoire d'informatique de Paris 6
We want to provide an algorithm to represent real solutions of parametric semi-algebraic systems by radicals, present an specialized method for solving dynamic geometric constraints involving equalities and inequalities. It can be used in dynamic diagrams generation, and with efficiently updating after generating the diagrams. We will implement the approach in Java and Maple.