I. Farkas Certification of algorithm 165 [S21]: complete elliptic integrals. 38 1969 12 Commun. ACM 1 http://doi.acm.org/10.1145/362835.362842 db/journals/cacm/cacm12.html#Farkas69