calculator-app

Google hired Hans-J. Boehm to develop a calculator app that would provide mathematically correct answers, leading to an innovative solution combining rational arithmetic with recursive real arithmetic (RRA). The journey involved exploring various number representation methods, from bignums to constructive real numbers, ultimately resulting in a hybrid approach using rational numbers multiplied by RRA numbers with symbolic representations.