計算可能数
実数を、それ自身を近似計算するプログラムによって表現するコンピュータパッケージは "正確な算術" という名前で1985年に提唱されている。 近年の例としては、 include the CoRN ライブラリ (Coq) や RealLib パッケージ (C++) などがある。 関連する話題としては iRRAM パッケージのように real RAM プログラムとそれを十分な精度の有理数や浮動小数点数で実行することも挙げられる。