Team, Visitors, External Collaborators
Overall Objectives
Research Program
Highlights of the Year
New Software and Platforms
New Results
Bilateral Contracts and Grants with Industry
Partnerships and Cooperations
XML PDF e-pub
PDF e-Pub

Section: New Results

Rigorous Polynomial Approximation

Participants : Florian Steinberg, Laurent Théry.

We have developed a certified library for computing Chebyshev models for formulas composed of polynomials, exponential, logarithm, and trigonometric function. This work is part of the ANR project FastRelax. The code is available at