000			00501nmm a2200145Ia 4500
008			230125s9999||||xx |||||||||||||||||und||
020			_a9783642784231
100			_aRolf Hammer, Matthias Hocks, Ulrich Kulisch, Dietmar Ratz
245		0	_aNumerical Toolbox for Verified Computing I
250			_a1993
260			_bSpringer Berlin Heidelberg _c1993
440			_aSpringer Series in Computational Mathematics
650			_aMathematics and Statistics
856			_uhttps://doi.org/10.1007/978-3-642-78423-1
999			_c5327 _d5327