Exact Real Computer Arithmetic

[1]  Peter Kornerup,et al.  An On-Line Arithmetic Unit for Bit-Pipelined Rational Arithmetic , 1988, J. Parallel Distributed Comput..

[2]  Peter Kornerup,et al.  MSB-First Digit Serial Arithmetic , 1996 .

[3]  Milos D. Ercegovac,et al.  Error Analysis of Certain Floating-Point On-Line Algorithms , 1983, IEEE Transactions on Computers.

[4]  Pietro Di Gianantonio.  Real Number Computability and Domain Theory , 1993, MFCS.

[5]  Robert Cartwright,et al.  Exact real arithmetic formulating real numbers as functions , 1990 .

[6]  Peter Kornerup,et al.  Finite precision lexicographic continued fraction number systems , 1985, 1985 IEEE 7th Symposium on Computer Arithmetic (ARITH).

[7]  Pietro Di Gianantonio.  A golden ratio notation for the real numbers , 1996 .

[8]  A. Grzegorczyk.  On the definitions of computable real continuous functions , 1957 .

[9]  Peter Kornerup,et al.  An Algorithm for Redundant Binary Bit-Pipelined Rational Arithmetic , 1990, IEEE Trans. Computers.

[10]  Peter Kornerup,et al.  Exploiting redundancy in bit-pipelined rational arithmetic , 1989, Proceedings of 9th Symposium on Computer Arithmetic.

[11]  erie M enissier-Morainy.  Arbitrary Precision Real Arithmetic: Design and Algorithms , 1996 .

[12]  Claude Brezinski,et al.  History of continued fractions and Pade approximants , 1990, Springer series in computational mathematics.

[13]  W. Parry.  On theβ-expansions of real numbers , 1960 .

[14]  H. Wall,et al.  Analytic Theory of Continued Fractions , 2000 .

[15]  Jean Vuillemin,et al.  Exact real computer arithmetic with continued fractions , 1988, IEEE Trans. Computers.

[16]  A. Avizeinis,et al.  Signed Digit Number Representations for Fast Parallel Arithmetic , 1961 .