This package combines the IntervalArithmetic.jl
and TaylorSeries.jl
packages to provide Taylor models, i.e.
Taylor polynomials with guaranteed error bounds to approximate functions.
An introduction is available in this video from JuliaCon 2018.
Kyoko Makino, Rigorous Analysis of Nonlinear Motion in Particle Accelerators, PhD Thesis, Michigan State University (1991).
Mioara Joldes, Rigorous Polynomial Approximations and Applications, PhD Thesis, École Normale Supérieure de Lyon, ENS-Lyon (2011).
Financial support is acknowledged from DGAPA-UNAM PAPIIT grants IN-117117, IG-100616 and IG-100819. DPS acknowledges support through a Cátedra Marcos Moshinsky (2018).