7 citations · 19 across the 15 of their papers we have counts for
Showing 2011Show all
2 papers · 1 filter
cs.SC2011★ 1 cited
Implementing an Automatic Differentiator in ACL2
Peter Reid, Ruben Gamboa
The foundational theory of differentiation was developed as part of the original release of ACL2(r). In work reported at the last ACL2 Workshop, we presented theorems justifying th…
cs.DM2011
Verifying Sierpiński and Riesel Numbers in ACL2
John R. Cowles, Ruben Gamboa
A Sierpinski number is an odd positive integer, k, such that no positive integer of the form k * 2^n + 1 is prime. Similar to a Sierpinski number, a Riesel number is an odd positiv…