Computer aided proofs in analysis /
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 .
0387974261
Numerical analysis--Data processing--Congresses
0387974261
Numerical analysis--Data processing--Congresses
