research-article
Open Access

Small-data computing: correct calculator arithmetic

Abstract

Rounding errors are usually avoidable, and sometimes we can afford to avoid them.

References

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

Index Terms

  1. Small-data computing

        Comments

        Login options

        Check if you have access through your login credentials or your institution to get full access on this article.

        Sign in

        Full Access

        • Published in

          Communications of the ACM cover image
          Communications of the ACM  Volume 60, Issue 8
          August 2017
          ISSN:0001-0782
          EISSN:1557-7317
          DOI:10.1145/3127343
          • Editor:
          • Moshe Y. Vardi profile imageAndrew A. Chien
          Issue’s Table of Contents

          Copyright © 2017 Owner/Author

          Publisher

          Association for Computing Machinery

          New York, NY, United States

          Publication History

          • Published: 24 July 2017

          Qualifiers

          • research-article
          • Popular
          • Refereed
        • Article Metrics

          • Downloads (Last 12 months)2,207
          • Downloads (Last 6 weeks)308

          Other Metrics

        PDF Format

        View or Download as a PDF file.

        PDF

        eReader

        View online with eReader.

        eReader

        HTML Format

        View this article in HTML Format .

        View HTML Format
        About Cookies On This Site

        We use cookies to ensure that we give you the best experience on our website.

        Learn more

        Got it!