Kenneth R. Meyer, Dieter S. Schmidt

Computer Aided Proofs in Analysis - 1991 - Springer New York 1991 - The IMA Volumes in Mathematics and its Applications .

9781461390923


Mathematics and Statistics