Publications
Submitted in Peer-reviewed international Journal
Published in Peer-reviewed international Journals
- 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
- Algebraic Tools for Computing Polynomial Loop Invariants
E. Bayarmagnai,
F. Mohammadi,
R. Prébet
Proceedings of ISSAC 2024, Raleigh, NC, USA, Jul. 2024 (to appear)
[HAL] [arXiv]
- 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
- Connectivity in real algebraic sets: algorithms and applications
R. Prébet,
LIP6 - Sorbonne Université, defended on 20/12/2023
[pdf]
Communications
Next:
- Algebraic Tools for Computing Polynomial Loop Invariants
ISSAC 2024,
Raleigh, NC, USA, 16-19/07/2024
Pasts:
2024
2023
- 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]
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
At KU Leuven, Belgium (2024-)
- Linear Algebra & Analysis, Bachelor (12h-TD)
At Sorbonne Université, Paris (2020-2023)
2022-2023
- Introduction to Cryptography, Master (20h-TD, 20h-TP)
- Introduction to Algebraic Algorithms, Master (2h-CM)
2021-2022
- Data Structures, Bachelor (19.5h-TD, 19.5h-TP)
- Numerical Representation and Methods, Bachelor (13.5h-TD, 13.5h-TP)
2020-2021
- Introduction to Programming II (with C language), Bachelor (38.5h-TD)
- Numerical Representation and Methods, Bachelor (13.5h-TD, 13.5h-TP)
At Classe Préparatoire du Lycée Blaise Pascal, Orsay (2016-2017)
- Introduction to Programming (with Python), PC* (6h-CM, 12h-TD, 24h-TP)
HTML5 UP