Florent Bréhard

Available identifiers

zbMath Open brehard.florentMaRDI QIDQ2051588

List of research outcomes

Publication	Date of Publication	Type
Validated Root Enclosures for Interval Polynomials with Multiplicities	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	2021-11-24	Paper
On Moment Problems with Holonomic Functions	2020-09-10	Paper
A Newton-like Validation Method for Chebyshev Approximate Solutions of Linear Ordinary Differential Systems	2020-09-09	Paper
Validated and Numerically Efficient Chebyshev Spectral Methods for Linear Ordinary Differential Equations	2019-01-18	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Florent Bréhard