Computer aided proofs in analysis
By: Kenneth R. Meyer, Dieter S. Schmidt, editors.
Contributors: Meyer, Kenneth R. 1937-; Schmidt, Dieter S.; IMA Participating Institutions Conference (1989 : University of Cincinnati).
Series: The IMA volumes in mathematics and its applications ;; v. 28
Publisher: Springer-Verlag
Published: 1991
Place of publication: New York
Language: eng
Number of pages: 251
Subjects: Numerical analysis -- Data processing -- Congresses.
Notes: Includes bibliographical references.
"Proceedings of an IMA Participating Institutions (PI) Conference held at the University of Cincinnati in April 1989"--Foreword.