Formal Verification of Medina's Sequence of Polynomials for Approximating Arctangent.
['Ruben Gamboa', 'John R. Cowles']
Formal Verification of Medina's Sequence of Polynomials for Approximating Arctangent.