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