Computer Aided Proofs in Analysis

Shelfclass_id 4.B.3
Sortkey MEYER, KENNETH RAY
Authors Kenneth Ray Meyer, Dieter S. Schmidt
Title Computer Aided Proofs in Analysis
Publisher Springer-Verlag
Year 1991
Languages eng
Isbn 0387974261, 3540974261
Series The IMA volumes in mathematics and its applications
Volume 28
Description 251 p. ill. 24 cm
Record date 20100916
Location Berlin
Keywords Numerical analysis, data processing, Congresses
Notes "Proceedings of an IMA Participating Institutions (PI) Conference held at the University of Cincinnati in April 1989"--Foreword.