48

Domains for Computation in Mathematics, Physics and Exact Real Arithmetic
– Abbas Edalat
 1997

4

Big Integers and Complexity Issues in Exact Real Arithmetic
– Reinhold Heckmann
 1998

14

Exact Real Computer Arithmetic
– Peter John Potts, Abbas Edalat
 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

42

A New Representation for Exact Real Numbers
– Abbas Edalat, Peter John Potts
 1997

29

Semantics of Exact Real Arithmetic
– Peter John Potts, Abbas Edalat, Martín Hötzel Escardó
 1997

8

Number Computability and Domain Theory
– Pietro Di Gianantonio
 1996

10

A universal characterization of the closed euclidean interval (Extended Abstract)
– Martín H. Escardó, Alex K. Simpson
 2001

5

A Calculator for Exact Real Number Computation
– Dave Plume
 1998


Admissible Digit Sets and a Modified SternBrocot Representation
– J. Hughes, M. Niqui, Jesse Hughes, Milad Niqui
 2004

5

How Many Argument Digits are Needed to Produce n Result Digits?
– Reinhold Heckmann
 1999

1

Number systems and Digit Serial Arithmetic
– Asger Munk Nielsen, Asger Munk Nielsen
 1997

1

Two Algorithms for Root Finding in Exact Real Arithmetic
– Abbas Edalat, Fabien Rico
 1998

43

A DomainTheoretic Approach to Computability on the Real Line
– Abbas Edalat, Philipp Sünderhauf
 1997

19

CCoRN, the Constructive Coq Repository at Nijmegan
– Herman Geuvers, Freek Wiedijk

1

Program extraction in constructive analysis. Submitted to: Logicism, Intuitionism, and Formalism – What has become of them
– Helmut Schwichtenberg
 2006

4

The constructive reals as a Java Library
– HansJ. Boehm
 2004

6

Realizability interpretation of proofs in constructive analysis
– Helmut Schwichtenberg
 2006
