TY - DATA AU - Kenneth R. Meyer, Dieter S. Schmidt TI - Computer Aided Proofs in Analysis SN - 9781461390923 PY - 1991/// PB - Springer New York KW - Mathematics and Statistics UR - https://doi.org/10.1007/978-1-4613-9092-3 ER -