000			00468nmm a2200145Ia 4500
008			230125s9999||||xx |||||||||||||||||und||
020			_a9781461390923
100			_aKenneth R. Meyer, Dieter S. Schmidt
245		0	_aComputer Aided Proofs in Analysis
250			_a1991
260			_bSpringer New York _c1991
440			_aThe IMA Volumes in Mathematics and its Applications
650			_aMathematics and Statistics
856			_uhttps://doi.org/10.1007/978-1-4613-9092-3
999			_c9258 _d9258