Certification of algorithm 165 S21: complete elliptic integrals | Communications of the ACM | DeepDyve