Computer aided proofs in analysis /

Bibliographic Details
Corporate Author:	IMA Participating Institutions Conference
Other Authors:	Meyer, Kenneth R. (Kenneth Ray), 1937-, Schmidt, Dieter S.
Format:	Conference Proceeding Book
Language:	English
Published:	New York : Springer-Verlag, [1991]
Series:	IMA volumes in mathematics and its applications ; v. 28.
Subjects:	Numerical analysis > Data processing > Congresses.

Remote Storage