Ruben A. Gamboa

Available identifiers

Publication	Date of Publication	Type
All prime numbers have primitive roots	2025-01-09	Paper
A free group of rotations of rank 2	2025-01-09	Paper
Quadratic extensions in ACL2	2024-08-22	Paper
Perfect numbers in ACL2	2024-08-21	Paper
The Cayley-Dickson construction in ACL2	2024-08-21	Paper
The fundamental theorem of algebra in ACL2	2024-08-21	Paper
Equivalence of the traditional and non-standard definitions of concepts from real analysis	2024-08-19	Paper
Formal verification of Medina's sequence of polynomials for approximating arctangent	2024-08-19	Paper
Verifying Sierpiński and Riesel numbers in ACL2	2024-08-13	Paper
Implementing an automatic differentiator in ACL2	2024-08-13	Paper
An interpreter for quantum circuits	2024-08-13	Paper
A complete, mechanically-verified proof of the Banach-Tarski theorem in ACL2(r)	2024-07-15	Paper
Essential logic for computer science	2019-02-27	Paper
Perfect Numbers in ACL2	2015-09-20	Paper
A Cantor trio: denumerability, the reals, and the real algebraic numbers	2012-09-20	Paper
Automatic differentiation in ACL2	2011-08-17	Paper
Using a first order logic to verify that some set of reals has no Lebesgue measure	2010-09-14	Paper
A formalization of powerlist algebra in ACL2	2010-02-01	Paper
Theory extension in ACL2(r)	2007-08-17	Paper
Theorem Proving in Higher Order Logics	2005-08-18	Paper
https://portal.mardi4nfdi.de/entity/Q4427909	2003-09-14	Paper
The correctness of the fast Fourier transform: A structured proof in ACL2	2002-04-11	Paper
Nonstandard analysis in ACL2	2002-02-19	Paper

This page was built for person: Ruben A. Gamboa