Computer aided proofs in analysis / ed. Kenneth R. Meyer, Dieter S. Schmidt

Computer aided proofs in analysis / ed. Kenneth R. Meyer, Dieter S. Schmidt . - New York : Springer-Verlag, cop. 1991 . - XIII, 251 p. : il. 24 cm . - (The IMA volumes in mathematics and its applications; 28))
0-387-97426-1 (Encadernado)

519.6