Publications
-
Positivity Certificates for Polynomials over D-finite Solutions
(with Victor Magron and Didier Henrion).
Poster presented at DART 2026. -
Positivity Proofs for Linear Recurrences through Contracted Cones
(with Bruno Salvy).
Journal of Symbolic Computation. Accepted, May 2025. arXiv:2412.08576 -
Positivity Proofs for Linear Recurrences with Several Dominant Eigenvalues
Distinguished Student Paper Award, ISSAC 2025. arXiv:2503.14264, March 2025. -
Positivity certificates for linear recurrences
(with Bruno Salvy).
In Proceedings of the 2024 Annual ACM-SIAM Symposium on Discrete Algorithms (SODA). -
Positivity certificates for P-recursive sequences
Poster presented at ISSAC 2023.
Talks
- Curves and Surfaces 2026, Saint Malo, France
- Seminar Algebra and Discrete Mathematics, 2025, JKU Linz, Austria
- JNCF 2025, Marseille, France Slides
- Journées EFI 2025, Lyon, France
- SODA 2024, Virginia, USA
- Journées annuelles NUSCAP 2024, Paris, France
- JNCF 2023, Marseille, France
- SIAM Applied Algebraic Geometry 2023, Eindhoven, Netherlands
Distinctions
- Distinguished Student Paper Award , ISSAC 2025
- Bourses d'excellence de master de la Fondation Mathématique Jacques Hadamard, FMJH 2020
CV
Download my CV: in French | in English