Certification of algorithm 229 B1: elementary functions by continued fractions | Communications of the ACM | DeepDyve