Computer Aided Proofs in Analysis /

This volume is the proceedings of a scientific conference on the use of computers to do exact mathematics which was held at the University of Cincinnati, March 22-25, 1989. One group of papers deals with the use of general algebraic processors like Macsyma, Reduce, Scratchpad etc. to do precise comp...

Full description

Bibliographic Details

Main Author:	Meyer, Kenneth R.
Corporate Author:	SpringerLink (Online service)
Other Authors:	Schmidt, Dieter S.
Format:	eBook
Language:	English
Published:	New York, NY : Springer New York, 1991.
Series:	IMA volumes in mathematics and its applications ; 28.
Subjects:	Mathematics. Global analysis (Mathematics) Electronic books.
Online Access:	Connect to the full text of this electronic book