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