Constructive Analysis with Witnesses

by Helmut Schwichtenberg
Citations:3 - 1 self

Active Bibliography

48 Domains for Computation in Mathematics, Physics and Exact Real Arithmetic – Abbas Edalat - 1997
14 Exact Real Computer Arithmetic – Peter John Potts, Abbas Edalat - 1997
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
4 Big Integers and Complexity Issues in Exact Real Arithmetic – Reinhold Heckmann - 1998
8 Contractivity of Linear Fractional Transformations – Reinhold Heckmann - 1998
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
11 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 Stern-Brocot 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 Domain-Theoretic Approach to Computability on the Real Line – Abbas Edalat, Philipp Sünderhauf - 1997
19 C-CoRN, 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 – Hans-J. Boehm - 2004
6 Realizability interpretation of proofs in constructive analysis – Helmut Schwichtenberg - 2006