TY  - RPRT
TI  - Certified Exact Transcendental Real Number Computation in Coq
AU  - Russell O'Connor
PY  - 2008
DO  - 10.1007/978-3-540-71067-7_21
UR  - https://arxiv.org/abs/0805.2438
ID  - 0805.2438
ER  -