A New Representation for Exact Real Numbers
Open Access
- 31 December 1997
- journal article
- Published by Elsevier in Electronic Notes in Theoretical Computer Science
- Vol. 6, 119-132
- https://doi.org/10.1016/s1571-0661(05)80166-5
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- PCF extended with real numbersTheoretical Computer Science, 1996
- Real Number Computability and Domain TheoryInformation and Computation, 1996
- Exact real computer arithmetic with continued fractionsIEEE Transactions on Computers, 1990
- Finite precision lexicographic continued fraction number systemsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1985
- Computing with infinite objectsTheoretical Computer Science, 1980
- Signed-Digit Numbe Representations for Fast Parallel ArithmeticIEEE Transactions on Electronic Computers, 1961