000 00334nam a22001217a 4500
005 20250516083725.0
008 250516b |||||||| |||| 00| 0 eng d
041 _aeng
100 _aMeyer, Kenneth R.
245 _aComputer aided proofs in analysis
_cby Kenneth R. Meyer and Dieter S. Schmidt
260 _bSpringer
_c1990
942 _cBK
999 _c38057
_d38057