Searching for "Exact Real Arithmetic" will yield some. Specifically, a HaskellWiki page [1] is not too bad as a starting point. Or, if you are keen to academic presentations (read: presentations optimized for the maximal information density and not for the actual presentation ;-) [2] might be better.
You can also take a look at the actual source code for the Android ExactCalculator app [3]. For some reason, however, it is deprecated after Android 9.0.0; don't know why.
Comments
This looks pretty interesting. Is there any good resource on this?
Searching for "Exact Real Arithmetic" will yield some. Specifically, a HaskellWiki page [1] is not too bad as a starting point. Or, if you are keen to academic presentations (read: presentations optimized for the maximal information density and not for the actual presentation ;-) [2] might be better.
You can also take a look at the actual source code for the Android ExactCalculator app [3]. For some reason, however, it is deprecated after Android 9.0.0; don't know why.
[1] https://wiki.haskell.org/Exact_real_arithmetic
[2] https://members.loria.fr/PZimmermann/irram18.pdf
[3] https://android.googlesource.com/platform/packages/apps/Exac...
Hans Boehm has code: https://hboehm.info/new_crcalc/CR.java