Description
Date depot: 3 avril 2018
Titre: Real root classification and Grobner bases: algorithms, complexity, implementation and applications
Directeur de thèse:
Mohab SAFEY EL DIN (LIP6)
Directeur de thèse:
Jean-Charles FAUGÈRE (LIP6)
Domaine scientifique: Sciences et technologies de l'information et de la communication
Thématique CNRS : Non defini
Resumé:
Polynomial system solving appears in many areas of engineering sciences
such as robotics, chemistry, signal theory (among many others) as they
encode non-linear geometric and static situations. In this PhD, one
focuses on algorithmic problems coming from applications in medical
imaging. They consist of classifying the number of real solutions to
polynomial systems depending on parameters. The PhD candidate will use
computer algebra methods to design powerful algorithms and
implementations that scale enough for performing this classification on
challenging applications. Complexity issues will be central as
polynomial system solving boils down do computationally hard problems.
Doctorant.e: Le Huu Phuoc