TY  - BOOK
AU  - Meyer, Kenneth R.
TI  - Computer aided proofs in analysis
PY  - 1990///
PB  - Springer
ER  -