Communications of the ACM (CACM Vol. 60 No. 8, August 2017), vol. 60 (2017), pp. 44-49
Abstract
Calculators conventionally use some flavor of fixed precision floating point arithmetic. The bundled Android 6.0 Marshmallow calculator instead uses demand-drive evaluation or “constructive real” arithmetic to guarantee fully accurate results. We explain why this matters, the opportunities it creates, and the challenges in incorporating constructive real arithmetic in a tool aimed at a very broad audience.
Research Areas
Learn more about how we do research
We maintain a portfolio of research projects, providing individuals and teams the freedom to emphasize specific types of work