Former student of École Normale Supérieure Paris-Saclay

Thesis Slides

**Algebraic Tools for Computing Polynomial Loop Invariants**

*E. Bayarmagnai, F. Mohammadi, R. Prébet*

Submitted to ISSAC 2024, Raleigh, NC, USA, Jul. 2024 on 06/02/2024 (8 pages)**Computing Roadmaps in Unbounded Smooth Real Algebraic Sets II : Algorithm and Complexity**

*R. Prébet, M. Safey El Din, É. Schost*

Submitted to Journal of Symbolic Computation on 04/02/2024 (60 pages)

[HAL] [arXiv]

**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]**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 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]

**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]

**Connectivity in real algebraic sets: algorithms and applications**

AriC Seminar, LIP, ENS Lyon, 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]

**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]

**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

**Towards faster roadmap algorithms for smooth and unbounded real algebraic sets**

Joint internal Working Group of PolSys-Specfun teams, 06/11/2020