TaylorModels.jl: Rigorous function approximation with Taylor models in Julia. 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.