Rémi Prébet

Publication Activity (10 Years)

Years Active: 2018-2024
Publications (10 Years): 11

Top Topics

High Dimension Space

Algebraic Geometry

Top Venues

IEEE Trans. Geosci. Remote. Sens.

Publications

Erdenebayar Bayarmagnai, Fatemeh Mohammadi, Rémi Prébet
Algebraic Tools for Computing Polynomial Loop Invariants. ISSAC (2024)
Erdenebayar Bayarmagnai, Fatemeh Mohammadi, Rémi Prébet
Algebraic Tools for Computing Polynomial Loop Invariants. CoRR (2024)
Rémi Prébet, Mohab Safey El Din, Éric Schost
Computing roadmaps in unbounded smooth real algebraic sets II: algorithm and complexity. CoRR (2024)
Rémi Prébet, Mohab Safey El Din, Éric Schost
Computing roadmaps in unbounded smooth real algebraic sets I: Connectivity results. J. Symb. Comput. 120 (2024)
Md. Nazrul Islam, Adrien Poteaux, Rémi Prébet
Algorithm for connectivity queries on real algebraic curves. CoRR (2023)
Md. Nazrul Islam, Adrien Poteaux, Rémi Prébet
Algorithm for Connectivity Queries on Real Algebraic Curves. ISSAC (2023)
Damien Chablat, Rémi Prébet, Mohab Safey El Din, Durgesh Haribhau Salunkhe, Philippe Wenger
Deciding cuspidality of manipulators through computer algebra and algorithms in real algebraic geometry. CoRR (2022)
Damien Chablat, Rémi Prébet, Mohab Safey El Din, Durgesh Haribhau Salunkhe, Philippe Wenger
Deciding Cuspidality of Manipulators through Computer Algebra and Algorithms in Real Algebraic Geometry. ISSAC (2022)
Rémi Prébet, Mohab Safey El Din, Éric Schost
Computing roadmaps in unbounded smooth real algebraic sets I: connectivity results. CoRR (2022)
Rémi Prébet, Yajing Yan, Matthias Jauvin, Emmanuel Trouvé
A Data-Adaptive EOF-Based Method for Displacement Signal Retrieval From InSAR Displacement Measurement Time Series for Decorrelating Targets. IEEE Trans. Geosci. Remote. Sens. 57 (8) (2019)
Rémi Prébet, Yajing Yan, Matthias Jauvin, Emmanuel Trouvé
A Data-Adaptive Eof Based Method for Displacement Signal Extraction from Interferogram Time Series. IGARSS (2018)