Exact real (number) computation is not a concrete mathematical notion that has a conventional meaning. To some speakers, the terminology is used as the name of a specific programming language. To some speakers, it denotes a notion or a paradigm of computing where manipulating real numbers are involved. The first case is (or will be) introduced in a separate article. In this article, we mainly focus on the second.
…