Arbitrary Precision Real Arithmetic: Design and Algorithms (1996)

Cached

Download Links

by Valérie Menissier-Morain
Citations:20 - 0 self

Active Bibliography

42 A New Representation for Exact Real Numbers – Abbas Edalat, Peter John Potts - 1997
4 The constructive reals as a Java Library – Hans-J. Boehm - 2004
94 The Exact Computation Paradigm – Chee Yap, Thomas Dubé - 1994
11 A universal characterization of the closed euclidean interval (Extended Abstract) – Martín H. Escardó, Alex K. Simpson - 2001
231 On the Length of Programs for Computing Finite Binary Sequences – Gregory J. Chaitin - 1966
203 A Basis for a Mathematical Theory of Computation – John Mccarthy - 1963
47 PCF extended with real numbers – Martín Hötzel Escardó - 1996
43 A Domain-Theoretic Approach to Computability on the Real Line – Abbas Edalat, Philipp Sünderhauf - 1997
185 Introduction to lambda calculus – Hendrik Pieter Barendregt - 1988