logo EDITE Sujets de doctorat

Parametric Polynomial System Solving by Radicals and Its Geometric Applications

Résumé rédigé par
Directeur de thèse:
Doctorant: Ting ZHAO
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.