Florent Bréhard

ORCID

Publication Activity (10 Years)

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

Top Venues

ISSAC

ACM Trans. Math. Softw.

ARITH

Math. Comput. Sci.

University of Lyon, France (PHD)

Education History

University of Lyon, France

PHD

Publications

Denis Arzelier, Florent Bréhard, Mioara Joldes, Marc Mezzarobba
Rounding Error Analysis of an Orbital Collision Probability Evaluation Algorithm. ARITH (2024)
Florent Bréhard, Nicolas Brisebarre, Mioara Joldes, Warwick Tucker
Efficient and Validated Numerical Evaluation of Abelian Integrals. ACM Trans. Math. Softw. 50 (1) (2024)
Florent Bréhard, Adrien Poteaux, Léo Soudant
Validated Root Enclosures for Interval Polynomials with Multiplicities. ISSAC (2023)
Denis Arzelier, Florent Bréhard, Mioara Joldes, Jean B. Lasserre, S. Laurens, Aude Rondepierre
Polynomial superlevel set approximation of swept-volume for computing collision probability in space encounters. CDC (2021)
Florent Bréhard
A Symbolic-Numeric Validation Algorithm for Linear ODEs with Newton-Picard Method. Math. Comput. Sci. 15 (3) (2021)
Denis Arzelier, Florent Bréhard, Mioara Joldes
Exchange Algorithm for Evaluation and Approximation Error-Optimized Polynomials. ARITH (2019)
Florent Bréhard, Mioara Joldes, Jean-Bernard Lasserre
On Moment Problems with Holonomic Functions. ISSAC (2019)
Florent Bréhard, Assia Mahboubi, Damien Pous
A Certificate-Based Approach to Formally Verified Approximations. ITP (2019)
Florent Bréhard, Nicolas Brisebarre, Mioara Joldes
Validated and Numerically Efficient Chebyshev Spectral Methods for Linear Ordinary Differential Equations. ACM Trans. Math. Softw. 44 (4) (2018)
Florent Bréhard
A Newton-like Validation Method for Chebyshev Approximate Solutions of Linear Ordinary Differential Systems. ISSAC (2018)

Florent Bréhard.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Florent Bréhard