References
- Goldberg, D. What every computer scientist should know about floatingpoint arithmetic. ACM Computing Surveys 23, 1 (1991), 5-48. Google Scholar
Digital Library
- Cochran, D.S. Internal programming of the 9100A Calculator. HP Journal, Sept. 1968.Google Scholar
- Mihai Preda, https://code.google.com/p/aritycalculator/Google Scholar
- E. Bishop, and D. Bridges. Constructive Analysis. Springer Science & Business Media, 1985.Google Scholar
Cross Ref
- Boehm, HJ., and Cartwright, R. Exact real arithmetic: Formulating real numbers as functions. Rice University, Department of CS, 1988.Google Scholar
- Aberth, O. A precise numerical analysis program. Commun. ACM 17, 9 (Sept. 1974), 509-513. Google Scholar
Digital Library
- Ménissier Morain, V. Arbitrary precision real arithmetic: Design and algorithms. J. Logic and Algebraic Programming 64, 1 (2005), 13-39.Google Scholar
Cross Ref
- Vuillemin, J.E. Exact real computer arithmetic with continued fractions. IEEE Trans. Computers 39, 8 (1990), 1087-1105. Google Scholar
Digital Library
- Lee, Jr, V.A. and Boehm, H-J. Optimizing programs over the constructive reals. ACM, 1990.Google Scholar
Digital Library
- Boehm, H.J. The constructive reals as a Java library. J. Logic and Algebraic Programming 64, 1 (2005), 3-11.Google Scholar
Cross Ref
Index Terms
Small-data computing

Hans-J. Boehm



Comments