Interval analysis and automatic result verification - Mayer, Günter 1951- (De Gruyter, 2017)