Florent Bréhard

According to our database, Florent Bréhard authored at least 10 papers between 2018 and 2024.

Collaborative distances:

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

2024

Efficient and Validated Numerical Evaluation of Abelian Integrals.

Florent Bréhard, Nicolas Brisebarre, Mioara Joldes, Warwick Tucker

ACM Trans. Math. Softw., March, 2024

2023

Validated Root Enclosures for Interval Polynomials with Multiplicities.

Florent Bréhard, Adrien Poteaux, Léo Soudant

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

2021

A Symbolic-Numeric Validation Algorithm for Linear ODEs with Newton-Picard Method.

Florent Bréhard

Math. Comput. Sci., 2021

Polynomial superlevel set approximation of swept-volume for computing collision probability in space encounters.

Denis Arzelier, Florent Bréhard, Mioara Joldes, Jean B. Lasserre, S. Laurens, Aude Rondepierre

Proceedings of the 2021 60th IEEE Conference on Decision and Control (CDC), 2021

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

PhD thesis, 2019

A Certificate-Based Approach to Formally Verified Approximations.

Florent Bréhard, Assia Mahboubi, Damien Pous

Proceedings of the 10th International Conference on Interactive Theorem Proving, 2019

On Moment Problems with Holonomic Functions.

Florent Bréhard, Mioara Joldes, Jean-Bernard Lasserre

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

Exchange Algorithm for Evaluation and Approximation Error-Optimized Polynomials.

Denis Arzelier, Florent Bréhard, Mioara Joldes

Proceedings of the 26th IEEE Symposium on Computer Arithmetic, 2019

2018

Validated and Numerically Efficient Chebyshev Spectral Methods for Linear Ordinary Differential Equations.

Florent Bréhard, Nicolas Brisebarre, Mioara Joldes

ACM Trans. Math. Softw., 2018

A Newton-like Validation Method for Chebyshev Approximate Solutions of Linear Ordinary Differential Systems.

Florent Bréhard

Proceedings of the 2018 ACM on International Symposium on Symbolic and Algebraic Computation, 2018