yoriyuki is a user on mathtod.online. You can follow them or interact with them if you have an account anywhere in the fediverse. If you don't, you can sign up here.
yoriyuki @yoriyuki

Exact Real Arithmeticは数式処理とは全く違ったものです。ある実数$x$を”$x$を任意の精度で計算するプログラム”として表現するというアイディアに基づいています。プログラム自体がデータとして表現できる、というチューリングの発見が出発点です。

· Web · 0 · 1

実装はたくさんありますが、一番先を行っているのはiRRAM github.com/norbert-mueller/iRR でしょうか。