Exact Real Computer Arithmetic

Exact Real Computer Arithmetic (1997)

Cached

Download Links

by Peter John Potts , Abbas Edalat

Citations:

BibTeX

@MISC{Potts97exactreal,
    author = {Peter John Potts and Abbas Edalat},
    title = {Exact Real Computer Arithmetic},
    year = {1997}
}

Years of Citing Articles

Bookmark

OpenURL

Abstract

Citations

693	Interval analysis - Moore - 1966
208	The Art of Computer Programming, Seminumerical Algorithms - Knuth - 1998
159	Signed-digit number representations for fast parallel arithmetic - Avizienis - 1961
151	On the β-expansions of real numbers - Parry - 1960
132	Analytic Theory of Continued Fractions - Wall - 1948
72	On the definitions of computable real continuous functions - Grzegorczyk - 1957
69	Exact real computer arithmetic with continued fractions - Vuillemin - 1990
47	Exact Real Arithmetic: Formulating Real Numbers as Functions. Chapter 3 of - Boehm, Cartwright - 1990
45	PCF extended with real numbers - Escardó - 1996
41	The long history of continued fractions and Padé approximants, in Padé approximation and its applications - Brezinski - 1980
24	number computability and domain theory - Real
19	Continued Fraction Arithmetic - Gosper - 1972
19	Arbitrary precision real arithmetic: design and algorithms - Ménissier-Morain - 2005
18	MSB-First Digit Serial Arithmetic - Nielsen, Kornerup - 1995
15	Standard 754 for Binary Floating-Point Arithmetic - IEEE - 1985
13	Finite Precision Lexicographic Continued Fraction Number Systems - Kornerup, Matula - 1985
12	An algorithm for redundant binary bitpipelined rational arithmetic - Kornerup, Matula - 1990
11	A golden ratio notation for the real numbers - Gianantonio - 1991
10	An On-line Arithmetic Unit for Bit-Pipelined Rational Arithmetic - Kornerup, Matula - 1988
9	Computable Real Arithmetic using Linear Fractional Transformations - Potts - 1996
7	Exploiting Redundancy in Bit-Pipelined Rational Arithmetic - Kornerup, Matula - 1989
4	Arbitrary precision arithmetic using continued fractions - Jones - 1984
4	D.: \Error Analysis of Certain Floating-Point Algorithms - Watanuki, Ercegovac - 1983