Computer aided proofs in analysis / 
Kenneth R. Meyer, Dieter S. Schmidt, editors 
 - New York :  Springer-Verlag,  1991 
 - 251p. :  ill. ;  24 cm. 
 - The IMA volumes in mathematics and its applications ;  v.28 .
<br/><br/><label>ISBN: </label>0387974261 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Numerical analysis--Data processing--Congresses