𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Coinduction for Exact Real Number Computation

✍ Scribed by Ulrich Berger; Tie Hou

Publisher
Springer
Year
2007
Tongue
English
Weight
345 KB
Volume
43
Category
Article
ISSN
1433-0490

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Monotonically Computable Real Numbers
Monotonically Computable Real Numbers
✍ Robert Rettinger; Xizhong Zheng; Romain Gengler; Burchard von BraunmΓΌhl πŸ“‚ Article πŸ“… 2002 πŸ› John Wiley and Sons 🌐 English βš– 310 KB
Weakly Computable Real Numbers
Weakly Computable Real Numbers
✍ Klaus Ambos-Spies; Klaus Weihrauch; Xizhong Zheng πŸ“‚ Article πŸ“… 2000 πŸ› Elsevier Science 🌐 English βš– 161 KB
Sequential real number computation and r
Sequential real number computation and recursive relations
✍ J. Raymundo Marcial-Romero; M. Andrew Moshier πŸ“‚ Article πŸ“… 2008 πŸ› John Wiley and Sons 🌐 English βš– 195 KB

## Abstract In the first author's thesis [10], a sequential language, LRT, for real number computation is investigated. That thesis includes a proof that all polynomials are programmable, but that work comes short of giving a complete characterization of the expressive power of the language even fo