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.

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

yoriyuki @yoriyuki

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

· Web · 0 · 1