Rémi Prébet
first.lastname@ens-lyon.fr
Publications
Organization
Communications
Teaching
"Chargé de recherche" (research scientist) in the Pascaline team at Inria
World tour hitchhiking (2018/2019)
Learn more
Publications
Submitted in Peer-reviewed international Journal
- From Affine to Polynomial: Synthesizing Loops with Branches via Algebraic Geometry
E. Bayarmagnai, F. Mohammadi, R. Prébet
Submitted to Journal on Software Tools for Technology Transfer on 11/10/2025 (accepted)
[HAL] [arXiv]
Published in Peer-reviewed international Journals
- Algebraic and algorithmic methods for computing polynomial loop invariants
E. Bayarmagnai, F. Mohammadi, R. Prébet
Journal of Symbolic Computation Volume 135, p.102551, Jul.-Aug. 2026 (special issue for ISSAC'24)
[HAL] [arXiv] [doi] - Efficient Algorithms for Minimal Matroid Extensions and Irreducible Decompositions of Circuit Varieties
E. Liwski, F. Mohammadi, R. Prébet
Journal of Algebra (Computational section), Volume 691, p.526-576, Apr. 2026
[HAL] [arXiv] [doi] - Computing Roadmaps in Unbounded Smooth Real Algebraic Sets II : Algorithm and Complexity
R. Prébet, M. Safey El Din, É. Schost
Journal of Symbolic Computation, Volume 135, p.102532, Jul.-Aug. 2026
[HAL] [arXiv] [doi] - Computing Roadmaps in Unbounded Smooth Real Algebraic Sets I: Connectivity Results
R. Prébet, M. Safey El Din, É. Schost
Journal of Symbolic Computation, Volume 120, p.102234, Jan.-Feb. 2024
[HAL] [arXiv] [doi] - A Data-Adaptive EOF-Based Method for Displacement Signal Retrieval From InSAR Displacement Measurement Time Series for Decorrelating Targets
R. Prébet, Y. Yan, M. Jauvin, É. Trouvé
IEEE Transactions on Geoscience and Remote Sensing, Volume 57, Issue 8, p.5829-5852, Aug. 2019
[HAL] [doi]
Published in the proceedings of peer-reviewed international conferences
- Beyond Affine Loops: A Geometric Approach to Program Synthesis
E. Bayarmagnai, F. Mohammadi, R. Prébet
Proceedings of SOAP 2025, Seoul, Republic of Korea, Jun. 2025
[HAL] [arXiv] [doi] - Algebraic Tools for Computing Polynomial Loop Invariants
E. Bayarmagnai, F. Mohammadi, R. Prébet
Proceedings of ISSAC 2024, Raleigh, NC, USA, Jul. 2024
[HAL] [arXiv] [doi] - Algorithm for Connectivity Queries on Real Algebraic Curves
Md N. Islam, A. Poteaux, R. Prébet
Proceedings of ISSAC 2023, Tromsø, Norway, Jul. 2023
[HAL] [arXiv] [doi] - Deciding Cuspidality of Manipulators through Computer Algebra and Algorithms in Real Algebraic Geometry
D. Chablat, R. Prébet, M. Safey El Din, D. Salunkhe, P. Wenger
Proceedings of ISSAC 2022, Lille, France, Jul. 2022
[HAL] [arXiv] [doi] - A Data-Adaptive Eof Based Method for Displacement Signal Extraction from Interferogram Time Series
R. Prébet, Y. Yan, M. Jauvin, É. Trouvé
Proceedings of IGARSS 2018, Valencia, Spain, Jul. 2018
[HAL] [doi]
Thesis
Organization
Current:
- Pascaline seminar (since 2025)
with Bruno Salvy
[website]
Pasts:
- Reading Seminars on Algorithms in Algebraic Geometry (Spring 2024)
with Erdenebayar Bayarmagnai
[website] - MathExp-PolSys seminar (2021-2023)
Co-organizer
[website]
Communications
Next:
- Computational Real Algebraic Geometry in Action: From Dynamical Systems to Robotics
ALBATROSS 2026, Sorbonne Université, Paris, France, 01-04/09/2026
Pasts:
2026
-
Algorithms for connectivity queries on unbounded real algebraic sets
LAMA's Team seminar Geometry, 21/05/2026
[slides] -
Geometry and Nonlinearity: Applications, Complexity, and Algorithms
Journée Jeune Chercheur.ses, 20 ans du GDR I(F)M, Sorbonne Université, 19/03/2026
[slides]
2025
- Algorithms for connectivity queries on unbounded real algebraic sets
Journées de Géométrie Algorithmique, Roscoff, France, 13-17/10/2025
[slides] - Algebraic Geometry for Polynomial Loop Invariants and Program Synthesis
Pascaline Seminar, LIP, ENS Lyon, France, 09/10/2025
[slides]
2024
- Connectivity in real algebraic sets: algorithms and applications
CFHP Seminar, CRIStAL, Lille, 17/10/2024
[slides] [example] - Connectivity in real algebraic sets: algorithms and applications
AROMATH Seminar, Inria Sophia Antipolis, France, 11/03/2024
[slides] - Faster algorithms for connectivity queries in unbounded real algebraic sets
Journées Nationales de Calcul Formel 2024, CIRM, Luminy, France, 05/03/2024
[slides]
2023
- Connectivity in real algebraic sets: algorithms and applications
AriC Seminar, LIP, ENS Lyon, France, 23/11/2023 - Algorithm for connectivity queries on real algebraic curves
ISSAC 2023, Tromsø, Norway, 24-27/07/2023
- Efficiently answering connectivity queries on real algebraic space curves
Minisymposium "Data and Certificates in Algebra and Geometry"
SIAM AG 2023, Eindhoven, Netherlands, 11/07/2023
- Computational Semi-Algebraic Geometry for Differential Equations and Robotics
NUMA Seminar, KU Leuven, Leuven, Belgium, 29/06/2023
[slides] - Computing with real algebraic curves: topology and connectivity properties
Number Theory and Algebraic Geometry Seminar, KU Leuven, Leuven, Belgium, 28/06/2023
[slides] - Answering connectivity queries in semi-algebraic sets through roadmaps: an application to robotics (poster)
Journées Nationales de l'Informatique Mathématique 2023, IRIF, Université Paris Cité, France, 04/04/2023
[poster] - Efficiently solving connectivity queries on real algebraic curves
Journées Nationales de Calcul Formel 2023, CIRM, Luminy, France, 08/03/2023
[slides]
2022
- Answering connectivity queries in semi-algebraic sets through roadmaps: an application to robotics (poster)
Workshop on Solving Polynomial Equations and Applications, CWI, Amsterdam, Netherlands, 05-07/10/2022
[poster] - Connectivity issues in semi-algebraic geometry: algorithms, complexity and robotics applications through
computer algebra
ORCCA Joint Lab Meeting, University of Waterloo, Waterloo, Ontario, Canada, 30/09/2022
[slides] - Deciding Cuspidality of Manipulators through Computer Algebra and Algorithms in Real Algebraic Geometry
ISSAC 2022, Lille, France, 07/07/2022
[slides] - Symbolic and geometric computation applied to the resolution of
an effective problem in robotic (poster)
Journées Nationales de l'Informatique Mathématique 2022, Lille, France, 31/03/2022
[poster] - On the algebra and geometry of cuspidality: algorithms and complexity
Journées Nationales de Calcul Formel 2022, CIRM, Luminy, France, 03/03/2022
[slides]
2021
- Towards faster roadmap algorithms for smooth and unbounded real algebraic sets
Journées Nationales de Calcul Formel 2021, CIRM, Luminy, France (online), 02/03/2021
[slides] - On the computation of roadmap of smooth unbounded semi-algebraic sets
ECARP international project meetings (online), 16/02/2021
2020
- Towards faster roadmap algorithms for smooth and unbounded real algebraic sets
Joint internal Working Group of PolSys-Specfun teams, 06/11/2020
Teaching
Computer Algebra (2025-...)
M1-level course at ENS Lyon with Bruno Salvy and Gilles Villard on how to use computers to perform exact mathematical computations.[lecture notes]
HTML5 UP