7 citations · 19 across the 15 of their papers we have counts for
Showing 2013Show all
3 papers · 1 filter
cs.LO2013
An Interpreter for Quantum Circuits
Lucas Helms, Ruben Gamboa
This paper describes an ACL2 interpreter for "netlists" describing quantum circuits. Several quantum gates are implemented, including the Hadamard gate H, which rotates vectors by…
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…