4 citations · 7 across the 8 of their papers we have counts for
Showing 2014Show all
2 papers · 1 filter
cs.LO2014★ 1 cited
Formal Verification of Medina's Sequence of Polynomials for Approximating Arctangent
Ruben Gamboa, John Cowles
The verification of many algorithms for calculating transcendental functions is based on polynomial approximations to these functions, often Taylor series approximations. However,…
cs.LO2014★ 2 cited
Equivalence of the Traditional and Non-Standard Definitions of Concepts from Real Analysis
John Cowles, Ruben Gamboa
ACL2(r) is a variant of ACL2 that supports the irrational real and complex numbers. Its logical foundation is based on internal set theory (IST), an axiomatic formalization of non-…