Rémi Prébet

According to our database, Rémi Prébet authored at least 13 papers between 2018 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

Computing roadmaps in unbounded smooth real algebraic sets II: Algorithm and complexity.

Rémi Prébet, Mohab Safey El Din, Éric Schost

J. Symb. Comput., 2026

Algebraic and algorithmic methods for computing polynomial loop invariants.

Erdenebayar Bayarmagnai, Fatemeh Mohammadi, Rémi Prébet

J. Symb. Comput., 2026

2025

From Affine to Polynomial: Synthesizing Loops with Branches via Algebraic Geometry.

Erdenebayar Bayarmagnai, Fatemeh Mohammadi, Rémi Prébet

CoRR, September, 2025

Efficient Algorithms for Minimal Matroid Extensions and Irreducible Decompositions of Circuit Varieties.

Emiliano Liwski, Fatemeh Mohammadi, Rémi Prébet

CoRR, April, 2025

Beyond Affine Loops: A Geometric Approach to Program Synthesis.

Erdenebayar Bayarmagnai, Fatemeh Mohammadi, Rémi Prébet

Proceedings of the 14th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis, 2025

2024

Computing roadmaps in unbounded smooth real algebraic sets I: Connectivity results.

Rémi Prébet, Mohab Safey El Din, Éric Schost

J. Symb. Comput., 2024

Algebraic Tools for Computing Polynomial Loop Invariants (Extended Version).

Erdenebayar Bayarmagnai, Fatemeh Mohammadi, Rémi Prébet

CoRR, 2024

Algebraic Tools for Computing Polynomial Loop Invariants.

Erdenebayar Bayarmagnai, Fatemeh Mohammadi, Rémi Prébet

Proceedings of the 2024 International Symposium on Symbolic and Algebraic Computation, 2024

2023

Connectivity in real algebraic sets: algorithms and applications. (Connexité dans les ensembles algébriques réels: algorithmes et applications).

Rémi Prébet

PhD thesis, 2023

Algorithm for Connectivity Queries on Real Algebraic Curves.

Md. Nazrul Islam, Adrien Poteaux, Rémi Prébet

Proceedings of the 2023 International Symposium on Symbolic and Algebraic Computation, 2023

2022

Deciding Cuspidality of Manipulators through Computer Algebra and Algorithms in Real Algebraic Geometry.

Damien Chablat, Rémi Prébet, Mohab Safey El Din, Durgesh Haribhau Salunkhe, Philippe Wenger

Proceedings of the ISSAC '22: International Symposium on Symbolic and Algebraic Computation, Villeneuve-d'Ascq, France, July 4, 2022

2019

A Data-Adaptive EOF-Based Method for Displacement Signal Retrieval From InSAR Displacement Measurement Time Series for Decorrelating Targets.

Rémi Prébet, Yajing Yan, Matthias Jauvin, Emmanuel Trouvé

IEEE Trans. Geosci. Remote. Sens., 2019

2018

A Data-Adaptive Eof Based Method for Displacement Signal Extraction from Interferogram Time Series.

Rémi Prébet, Yajing Yan, Matthias Jauvin, Emmanuel Trouvé

Proceedings of the 2018 IEEE International Geoscience and Remote Sensing Symposium, 2018