The appearance of big integers in exact real arithmetic based on linear fractional transformations

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1378, Issue , 1998, Pages 172-188

  Heckmann, Reinhold ^a  

^a SAARLAND UNIVERSITY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATION THEORY; MATHEMATICAL TRANSFORMATIONS;

BIG INTEGERS; BIT SIZE; EXACT REAL ARITHMETIC; LINEAR FRACTIONAL TRANSFORMATIONS; REAL NUMBER;

LINEAR TRANSFORMATIONS;

EID: 84947915642     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/bfb0053549     Document Type: Conference Paper

References (16)

1. A. Avizienis. Signed-digit number representations for fast parallel arithmetic. IRE Transactions on Electronic Computers, 10:389-400, 1961.
2. H.J. Boehm, R. Cartwright, M. Riggle, and M.J. O’Donell. Exact real arithmetic: A case study in higher order programming. In ACM Symposium on Lisp and Functional Programming, 1986.
3. H.J. Boehm and R. Cartwright. Exact real arithmetic: Formulating real numbers as functions. In D. Turner, editor, Research Topics in Functional Programming, pages 43-64. Addison-Wesley, 1990.
4. P. Di Gianantonio. A Functional Approach to Real Number Computation. PhD thesis, University of Pisa, 1993.
5. P. Di Gianantonio. Real number computability and domain theory. Information and Computation, 127(1): 11-25, May 1996.
6. A. Edalat and P. Potts. A new representation for exact real numbers. In S. Brookes and M. Mislove, editors, MFPS ’97, volume 6 of Electronic Notes in Theoretical Computer Science, 1997. URL: http://www.elsevier.nl/locate/entcs/ volume6.html.
7. M. H. Escardó. PCF extended with real numbers. Theoretical Computer Science, 162(1):79-115, August 1996.
8. W. Gosper. Continued fraction arithmetic. Technical Report HAKMEM Item 101B, MIT Artificial Intelligence Memo 239, MIT, 1972.
9. P. Kornerup and D. W. Matula. Finite precision lexicographic continued fraction number systems. In Proc. 7th IEEE Symposium on Computer Arithmetic, pages 207-214. IEEE Computer Society Press, 1985.
10. V. Menissier-Morain. Arbitrary precision real arithmetic: Design and algorithms. submitted to J. Symbolic Computation, 1996.
11. A. Nielsen and P. Kornerup. MSB-first digit serial arithmetic. J. of Univ. Comp. Scien., 1(7), 1995.
12. P. J. Potts and A. Edalat. Exact real arithmetic based on linear fractional transformations. Draft, Imperial College, available from http://www-tfm.doc.ic.ac.uk/ ~pjp, December 1996.
13. P. J. Potts and A. Edalat. Exact real computer arithmetic. Draft, Imperial College, available from http://www-tfm.doc.ic.ac.uk/~pjp, March 1997.
14. P. J. Potts. Computable real arithmetic using linear fractional transformations. Draft PhD Thesis, Imperial College, available from http:// www-tfm.doc.ic.ac.uk/~pjp, June 1996.
15. P. Potts, A. Edalat, and M. Escardó. Semantics of exact real arithmetic. In Twelfth Annual IEEE Symposium on Logic in Computer Science. IEEE, 1997.
16. J. E. Vuillemin. Exact real computer arithmetic with continued fractions. IEEE Transactions on Computers, 39(8):1087-1105, 1990.