Florent Bréhard

13 papers B 4C 2Journal 5Unranked 1
YearRankTypeTitle / Venue / Authors
2026 J jnl
Validated Numerical Hensel Lifting.
Math. Comput. Sci.
Florent Bréhard, Jasmin Krüger, Adrien Poteaux, Arthur Vinciguerra
2025 J jnl
An Exchange Algorithm for Optimizing Both Approximation and Finite-Precision Evaluation Errors in Polynomial Approximations.
ACM Trans. Math. Softw.
Denis Arzelier, Florent Bréhard, Tom Hubrecht, Mioara Joldes
2024 J jnl
Efficient and Validated Numerical Evaluation of Abelian Integrals.
ACM Trans. Math. Softw.
Florent Bréhard, Nicolas Brisebarre, Mioara Joldes, Warwick Tucker
2024 C conf
Rounding Error Analysis of an Orbital Collision Probability Evaluation Algorithm.
ARITH
Denis Arzelier, Florent Bréhard, Mioara Joldes, Marc Mezzarobba
2023 B conf
Validated Root Enclosures for Interval Polynomials with Multiplicities.
ISSAC
Florent Bréhard, Adrien Poteaux, Léo Soudant
2021 J jnl
A Symbolic-Numeric Validation Algorithm for Linear ODEs with Newton-Picard Method.
Math. Comput. Sci.
Florent Bréhard
2021 — conf
Polynomial superlevel set approximation of swept-volume for computing collision probability in space encounters.
CDC
Denis Arzelier, Florent Bréhard, Mioara Joldes, Jean B. Lasserre, S. Laurens, Aude Rondepierre
2019 B conf
A Certificate-Based Approach to Formally Verified Approximations.
ITP
Florent Bréhard, Assia Mahboubi, Damien Pous
2019 — —
Calcul numérique certifié dans les espaces fonctionnels : Un trilogue entre approximations polynomiales rigoureuses, calcul symbolique et preuve formelle. (Certified numerics in function spaces : polynomial approximations meet computer algebra and formal proof).
Florent Bréhard
2019 C conf
Exchange Algorithm for Evaluation and Approximation Error-Optimized Polynomials.
ARITH
Denis Arzelier, Florent Bréhard, Mioara Joldes
2019 B conf
On Moment Problems with Holonomic Functions.
ISSAC
Florent Bréhard, Mioara Joldes, Jean-Bernard Lasserre
2018 B conf
A Newton-like Validation Method for Chebyshev Approximate Solutions of Linear Ordinary Differential Systems.
ISSAC
Florent Bréhard
2018 J jnl
Validated and Numerically Efficient Chebyshev Spectral Methods for Linear Ordinary Differential Equations.
ACM Trans. Math. Softw.
Florent Bréhard, Nicolas Brisebarre, Mioara Joldes