Constructive Analysis with Witnesses

by Helmut Schwichtenberg
Citations:4 - 1 self

Active Bibliography

1.4. Nonnegative and Positive Reals 6 – Real Numbers
272 Image Representation Using 2D Gabor Wavelets – Tai Sing Lee - 1996
48 Domains for Computation in Mathematics, Physics and Exact Real Arithmetic – Abbas Edalat - 1997
Exact Real Number Computation Using Linear Fractional Transformations – unknown authors
162 Constructivism and Proof Theory – A. S. Troelstra - 2003
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
14 Exact Real Computer Arithmetic – Peter John Potts, Abbas Edalat - 1997
8 Contractivity of Linear Fractional Transformations – Reinhold Heckmann - 1998