Florent Bréhard

MaRDI QIDQ2051588zbMATH OpenFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Validated numerical Hensel lifting Mathematics in Computer Science	2026-04-21	Paper
An exchange algorithm for optimizing both approximation and finite-precision evaluation errors in polynomial approximations ACM Transactions on Mathematical Software	2026-02-13	Paper
Efficient and validated numerical evaluation of abelian integrals ACM Transactions on Mathematical Software	2024-09-12	Paper
Validated Root Enclosures for Interval Polynomials with Multiplicities Proceedings of the 2023 International Symposium on Symbolic and Algebraic Computation	2023-11-03	Paper
A certificate-based approach to formally verified approximations	2023-02-03	Paper
A symbolic-numeric validation algorithm for linear ODEs with Newton-Picard method Mathematics in Computer Science	2021-11-24	Paper
On Moment Problems with Holonomic Functions Proceedings of the 2019 on International Symposium on Symbolic and Algebraic Computation	2020-09-10	Paper
A Newton-like Validation Method for Chebyshev Approximate Solutions of Linear Ordinary Differential Systems Proceedings of the 2018 ACM International Symposium on Symbolic and Algebraic Computation	2020-09-09	Paper
Validated and numerically efficient Chebyshev spectral methods for linear ordinary differential equations ACM Transactions on Mathematical Software	2019-01-18	Paper

Research outcomes over time

This page was built for person: Florent Bréhard