The fact that dc does (or at least tries to) guarantee error bounds on the result is news to me.
And if that does indeed work, that's pretty cool.
And if that does indeed work, that's pretty cool.
https://dl.acm.org/doi/10.1145/2911981
Provides a good overview of how it works and perms website has more information.
What’s cool about the computable reals implementation is you can increase the precision after the fact and it will recalculate up to that precision. Basically it memoizes the steps of the calculation and how they affect the precision.