Automatically Bounding the Taylor Remainder Series: Tighter Bounds and New Applications

Matthew Streeter, Joshua V. Dillon

We present a new algorithm for automatically bounding the Taylor remainder series. In the special case of a scalar function $f:\mathbb{R}\to \mathbb{R}$, our algorithm takes as i…