Edern Gillot
Edern.Gillot@lip6.fr
Sorbonne Université - LIP6 - 4 Place Jussieu - 26-00/326
I am a PhD student in the PolSys team of LIP6, Sorbonne Université, under the supervision of Jérémy Berthomieu and Mohab Safey el Din. My research is about designing efficient algorithms to solve systems of polynomial constraints over the real numbers. As of now, my work focuses on the computation of points per connected components of such solution sets.
Pre-prints
Refined bit complexity for the computation of at least one point per connected component of
a smooth complete intersection real algebraic set.
Jesse Elliott, Mark Giesbrecht, Edern Gillot, Mohab Safey el Din, Éric Schost. September 2025.
Jesse Elliott, Mark Giesbrecht, Edern Gillot, Mohab Safey el Din, Éric Schost. September 2025.
Presentations & Posters
Journées Nationales du Calcul Formel (National Computer Algebra Days)
March 2026, Marseille, FR.
March 2026, Marseille, FR.
SIAM AG 2025, Mini-symposium "Computational Real Algebraic Geometry"
July 2025, Madison, USA.
July 2025, Madison, USA.
Journées Nationales de l'Informatique Mathématique (National Mathematical Computer Science Days)
March 2025, Bordeaux, FR.
March 2025, Bordeaux, FR.
Journées Nationales du Calcul Formel (National Computer Algebra Days)
March 2025, Marseille, FR.
March 2025, Marseille, FR.
Teaching
2025-2026 (M1 / 4th year) (~10h) Masters Project Supervision.
2025-2026 (M1 / 4th year) (~10h) Numerical and Algebraic Computation Models.
2025-2026 (L2 / 2nd year) (~40h) Data Structures in C.
2025-2026 (L2 / 2nd year) (~40h) Introduction to Object Programming in Java.
2025-2026 (L1 / 1st year) (~40h) Introduction to Programming in C.
2024-2025 (L3 / 3rd year) (~40h) Introduction to Cryptography.
Other Activities
SLMath Summer School: New perspectives on discriminants and their
applications
July 2025, Leipzig, DE.
July 2025, Leipzig, DE.
Coming soon™
Computing points in connected components defined by a real inequation: algorithms, complexity and implementations.
Prototype implementation of the smooth hypersurface case, in sagemath, available [here].
Prototype implementation of the smooth hypersurface case, in sagemath, available [here].