Mayar Gunter Interval analysis And automatic result verification (Study in mathematics 65) - Berlin De Gruyter 2017 - xiii,516p. cm. ISBN: EURO 119.95 Standard No.: 135823 Source: 4376, 29/08/2017, Ashutosh Technical Books Textual Subjects--Topical Terms: Mathematics Dewey Class. No.: B311, Q7