TY  - RPRT
TI  - Exact Real Arithmetic with Perturbation Analysis and Proof of Correctness
AU  - Sarmen Keshishzadeh
AU  - Jan Friso Groote
PY  - 2015
UR  - https://arxiv.org/abs/1509.06265
ID  - 1509.06265
ER  -