### Abstract

We present a formally verified implementation of multivariate Taylor
models. Taylor models are a form of rigorous polynomial approximation,
consisting of an approximation polynomial based on Taylor expansions,
combined with a rigorous bound on the approximation error. Taylor
models were introduced as a tool to mitigate the dependency problem of
interval arithmetic. Our implementation automatically computes Taylor
models for the class of elementary functions, expressed by composition
of arithmetic operations and basic functions like exp, sin, or square
root.

### License

### Topics

- Computer science/Algorithms/Mathematical
- Computer science/Data structures
- Mathematics/Analysis
- Mathematics/Algebra

### Session Taylor_Models

- Polynomial_Expression
- Float_Topology
- Horner_Eval
- Polynomial_Expression_Additional
- Taylor_Models_Misc
- Taylor_Models
- Experiments