Direction de recherche : Mohab SAFEY EL DIN

Connexité dans les ensembles semi-algébriques : algorithmes, implantations et applications

Le but de cette thèse est de concevoir des outils théoriques et de développer des algorithmes les utilisant afin de résoudre des problèmes de connexités sur des ensembles semi-algébriques. On s’appuie pour cela sur le concept de carte routière qui est un sous-ensemble unidimensionnel conservant les même propriétés de connexité. Construire une carte routière, et savoir l’utiliser sont les deux enjeux majeurs de cette thèse.

Publications 2022

• 2022
  • D. Chablat, R. Prébet, M. Safey El Din, D. Salunkhe, Ph. Wenger : “Deciding Cuspidality of Manipulators through Computer Algebra and Algorithms in Real Algebraic Geometry”, ISSAC '22: Proceedings of the 2022 International Symposium on Symbolic and Algebraic Computation, Lille, France (2022)
  • R. Prébet, M. Safey El Din, E. Schost : “Computing roadmaps in unbounded smooth real algebraic sets I: connectivity results”, (2022)