Interval analysis And automatic result verification (Study in mathematics 65) - Mayar Gunter (Berlin De Gruyter, 2017)
Keywords: Mathematics