Enhancing imperative exact real arithmetic with functions and logic
Norbert Müller · 2009
In the near past, there have been many approaches to ‘implement’ constructive analysis, many of them with the use of functional programmig languages. In this paper we present a similar approach based on the iRRAM-package which has been acknowledged as a fast package for exact real arithmetic in C++.