7 citations · 11 across the 2 of their papers we have counts for
3 papers
cs.LO2017
The Cayley-Dickson Construction in ACL2
John Cowles, Ruben Gamboa
The Cayley-Dickson Construction is a generalization of the familiar construction of the complex numbers from pairs of real numbers. The complex numbers can be viewed as two-dimensi…
cs.LO2013★ 4 cited
Proceedings International Workshop on the ACL2 Theorem Prover and its Applications
Ruben Gamboa, Jared Davis
This volume contains the proceedings of the Eleventh International Workshop on the ACL2 Theorem Prover and its Applications, held on May 30 and 31, 2013, in Laramie, Wyoming, USA.…
cs.CY2013★ 7 cited
How Computers Work: Computational Thinking for Everyone
Rex Page, Ruben Gamboa
What would you teach if you had only one course to help students grasp the essence of computation and perhaps inspire a few of them to make computing a subject of further study? As…