@Inproceedings{EPTCS152.9, author = {Gamboa, Ruben and Cowles, John}, year = {2014}, title = {Formal Verification of Medina's Sequence of Polynomials for Approximating Arctangent}, editor = {Verbeek, Freek and Schmaltz, Julien}, booktitle = {{\rm Proceedings Twelfth International Workshop on the} ACL2 Theorem Prover and its Applications, {\rm Vienna, Austria, 12-13th July 2014}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {152}, publisher = {Open Publishing Association}, pages = {101-110}, doi = {10.4204/EPTCS.152.9}, }