The ChebModels library collects Maple modules developed by Mioara Joldes and Nicolas
Brisebarre. It currently contains ChebModelsNewton, ChebModels, TaylorModels. These modules offer so-called rigorous polynomial approximations to univariate functions.
These modules use the intpakX interval arithmetic library. Please note that due to two small bugs we found in this library that were not updated yet on the corresponding official page, we provide you with a patched version of this library here.
Downloading ChebModels modules
ChebModelsNewton - Rigorous polynomial approximations based on interpolation at Chebyshev nodes in Newton basis
Chebyshev Interpolation Polynomial-based Tools for Rigorous Computing.
N. Brisebarre, M. Joldes.
Research report RR2010-13, LIP, ENS Lyon, Lyon, France, April 2010. This article has been accepted to ISSAC 2010.
Preliminary version available in open archive.