## 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 https://github.com/FlorianSteinberg/Cheby