Rémi Prébet
Email: first.lastname@kuleuven.be
Publications
Communications
Post-doctoral researcher at KU Leuven, PhD in computer sciences from
Sorbonne Université, Former student of École Normale Supérieure Paris-Saclay
World tour hitchhiking (2018/2019)
Learn more
Second internship (Master 2) at Lip6 (2020)
Under the supervision of Mohab Safey El Din.Thesis Slides
Publications
Submitted in Peer-reviewed international Journals or conference
- 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]
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
- 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
2024
- 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, 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