Semantics of Exact Real Arithmetic (1997)

Cached

Download Links

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

Active Bibliography

14 Exact Real Computer Arithmetic – Peter John Potts, Abbas Edalat - 1997
45 A New Representation for Exact Real Numbers – Abbas Edalat, Peter John Potts - 1997
8 Contractivity of Linear Fractional Transformations – Reinhold Heckmann - 1998
7 The Appearance of Big Integers in Exact Real Arithmetic based on Linear Fractional Transformations – Reinhold Heckmann - 1997
50 Domains for Computation in Mathematics, Physics and Exact Real Arithmetic – Abbas Edalat - 1997
44 A Domain-Theoretic Approach to Computability on the Real Line – Abbas Edalat, Philipp Sünderhauf - 1997
Computation with Real Numbers -- Exact Arithmetic, Computational Geometry and Solid Modelling – Abbas Edalat, Reinhold Heckmann
Exact Real Number Computation Using Linear Fractional Transformations – unknown authors
481 Domain Theory – Samson Abramsky, Achim Jung - 1994