TY  - RPRT
TI  - Logic for exact real arithmetic
AU  - Helmut Schwichtenberg
AU  - Franziskus Wiesnet
PY  - 2021
DO  - 10.23638/lmcs-17(2:7)2021
UR  - https://arxiv.org/abs/1904.12763
ID  - 1904.12763
ER  -