User:Ndcroos/Exact real arithmetic

In computer science and numerical computing, exact real arithmetic is way to implement real numbers on computers. It is an alternative to limited precision arithmetic.

Introduction
floating-point arithmetic round-off errors.

interval analysis

continued fraction

möbius transformation

Data representation

Arithmetic operations

Comparisons

Foundations

History
computability theory

Computable function Church Turing

Computable number, also called recursive, representable or constructive

representation: cauchy sequence, dedekind cut, interval, continued fraction

Dana Scott proposed interval domains domain theory 1970

PCF

Implementations
The implementations differ on the programming paradigm used (e.g. functional or object oriented), lazy or eager evaluation, efficiency.(irram18)