✦ LIBER ✦

Lazy computation with exact real numbers 1997

✍ Scribed by Edalat et al.

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Exact real computer arithmetic 1997

✍ Potts, Edalat. 📂 Library 🌐 English ⚖ 126 KB

Computation-with-real-numbers

✍ Edalat, Heckmann. 📂 Library 🌐 English ⚖ 258 KB

Coinduction for Exact Real Number Comput

✍ Ulrich Berger; Tie Hou 📂 Article 📅 2007 🏛 Springer 🌐 English ⚖ 345 KB

A method for exact computation with rati

✍ Oliver Aberth 📂 Article 📅 1978 🏛 Elsevier Science 🌐 English ⚖ 282 KB

Computations with effective real numbers

✍ Joris van der Hoeven 📂 Article 📅 2006 🏛 Elsevier Science 🌐 English ⚖ 204 KB

Real Computations with Fake Numbers

✍ Felipe Cucker 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 201 KB