Meyer, K. R. (1990). Computer aided proofs in analysis.
Chicago Edition CitationMeyer, Kenneth R. Computer Aided Proofs in Analysis. Springer-Verlag, New York, 1990.
MLA Edition CitationMeyer, Kenneth R. Computer Aided Proofs in Analysis. 1990.
Warning: These citations may not always be 100% accurate.