1 citations · 2 across the 2 of their papers we have counts for
2 papers
cs.LO2023★ 1 cited
Using Counterexample Generation and Theory Exploration to Suggest Missing Hypotheses
Ruben Gamboa, Panagiotis Manolios, Eric Smith +1
Newcomers to ACL2 are sometimes surprised that ACL2 rejects formulas that they believe should be theorems, such as (REVERSE (REVERSE X)) = X. Experienced ACL2 users will recognize…
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,…