Semantics of Exact Real Arithmetic (1997)

Cached

Download Links

by Peter John Potts , Abbas Edalat , Martín Hötzel Escardó
Citations:29 - 8 self

Active Bibliography

14 Exact Real Computer Arithmetic – Peter John Potts, Abbas Edalat - 1997
8 Contractivity of Linear Fractional Transformations – Reinhold Heckmann - 1998
42 A New Representation for Exact Real Numbers – Abbas Edalat, Peter John Potts - 1997
7 The Appearance of Big Integers in Exact Real Arithmetic based on Linear Fractional Transformations – Reinhold Heckmann - 1997
48 Domains for Computation in Mathematics, Physics and Exact Real Arithmetic – Abbas Edalat - 1997
43 A Domain-Theoretic Approach to Computability on the Real Line – Abbas Edalat, Philipp Sünderhauf - 1997
1 Number systems and Digit Serial Arithmetic – Asger Munk Nielsen, Asger Munk Nielsen - 1997
4 Big Integers and Complexity Issues in Exact Real Arithmetic – Reinhold Heckmann - 1998
6 A Calculator for Exact Real Number Computation – Dave Plume - 1998
1 Two Algorithms for Root Finding in Exact Real Arithmetic – Abbas Edalat, Fabien Rico - 1998
8 Lazy Computation with Exact Real Numbers – Abbas Edalat, Peter John Potts, Philipp Sünderhauf, Peter John - 1997
5 How Many Argument Digits are Needed to Produce n Result Digits? – Reinhold Heckmann - 1999
7 Integration in real PCF – Abbas Edalat, Martín Hötzel Escardó - 1996
18 MSB-First Digit Serial Arithmetic – Asger Munk Nielsen, Peter Kornerup - 1995
8 Static Analyses of Floating-Point Operations – Eric Goubault - 2001
17 Computing with Real Numbers - I. The LFT Approach to Real Number Computation - II. A Domain Framework for Computational Geometry – Abbas Edalat, Reinhold Heckmann - 2002
A Denotional Semantics for . . . – Thomas Anberrée - 2007
In Pursuit of Real Answers ∗ – Angela Yun Zhu, Walid Taha, Robert Cartwright, Matthieu Martel, Jeremy G. Siek
Algorithms On Continued And Multicontinued Fractions – Franck Nielsen - 1993