Interval analysis : and automatic result verification - Mayer, Gunter (De Gruyter studies in mathematics ;, 2017)