Meyer, K. R., & Schmidth, d. S. (1990). Computer aided proofs in analysis. springer verlag.
Chicago Edition CitationMeyer, Kenneth R., and dieter S. Schmidth. Computer Aided Proofs in Analysis. springer verlag, 1990.
MLA Edition CitationMeyer, Kenneth R., and dieter S. Schmidth. Computer Aided Proofs in Analysis. springer verlag, 1990.
Warning: These citations may not always be 100% accurate.