Ruben A. Gamboa

From MaRDI portal
Person:230813

Available identifiers

zbMath Open gamboa.ruben-aMaRDI QIDQ230813

List of research outcomes





PublicationDate of PublicationType
All prime numbers have primitive roots2025-01-09Paper
A free group of rotations of rank 22025-01-09Paper
Quadratic extensions in ACL22024-08-22Paper
Perfect numbers in ACL22024-08-21Paper
The Cayley-Dickson construction in ACL22024-08-21Paper
The fundamental theorem of algebra in ACL22024-08-21Paper
Equivalence of the traditional and non-standard definitions of concepts from real analysis2024-08-19Paper
Formal verification of Medina's sequence of polynomials for approximating arctangent2024-08-19Paper
Verifying Sierpiński and Riesel numbers in ACL22024-08-13Paper
Implementing an automatic differentiator in ACL22024-08-13Paper
An interpreter for quantum circuits2024-08-13Paper
A complete, mechanically-verified proof of the Banach-Tarski theorem in ACL2(r)2024-07-15Paper
https://portal.mardi4nfdi.de/entity/Q46262762019-02-27Paper
Perfect Numbers in ACL22015-09-20Paper
A Cantor trio: denumerability, the reals, and the real algebraic numbers2012-09-20Paper
Automatic differentiation in ACL22011-08-17Paper
Using a first order logic to verify that some set of reals has no Lebesgue measure2010-09-14Paper
A formalization of powerlist algebra in ACL22010-02-01Paper
Theory extension in ACL2(r)2007-08-17Paper
Theorem Proving in Higher Order Logics2005-08-18Paper
https://portal.mardi4nfdi.de/entity/Q44279092003-09-14Paper
The correctness of the fast Fourier transform: A structured proof in ACL22002-04-11Paper
Nonstandard analysis in ACL22002-02-19Paper

Research outcomes over time

This page was built for person: Ruben A. Gamboa