Exact real computer arithmetic with continued fractions
- 1 January 1988
- conference paper
- Published by Association for Computing Machinery (ACM)
Abstract
No abstract availableThis publication has 9 references indexed in Scilit:
- Exact real computer arithmetic with continued fractionsPublished by Association for Computing Machinery (ACM) ,1988
- Constructive real interpretation of numerical programsPublished by Association for Computing Machinery (ACM) ,1987
- Exact real arithmetic: a case study in higher order programmingPublished by Association for Computing Machinery (ACM) ,1986
- Constructive AnalysisPublished by Springer Nature ,1985
- Computing with infinite objectsTheoretical Computer Science, 1980
- Recursive real numbersProceedings of the American Mathematical Society, 1954
- Classes of recursively enumerable sets and their decision problemsTransactions of the American Mathematical Society, 1953
- Über eine besondere Art der Kettenbruch-Entwicklung reeller GrössenActa Mathematica, 1889
- Über die Entwicklung complexer Grössen in KettenbrücheActa Mathematica, 1887