7 citations · 19 across the 15 of their papers we have counts for
Showing 2022Show all
3 papers · 1 filter
cs.LO2022
A Free Group of Rotations of Rank 2
Jagadish Bapanapally, Ruben Gamboa
One of the key steps in the proof of the Banach-Tarski Theorem is the introduction of a free group of rotations. First, a free group of reduced words is generated where each elemen…
cs.LO2022
Using ACL2 To Teach Students About Software Testing
Ruben Gamboa, Alicia Thoney
We report on our experience using ACL2 in the classroom to teach students about software testing. The course COSC2300 at the University of Wyoming is a mostly traditional Discrete…
cs.LO2022
All Prime Numbers Have Primitive Roots
Ruben Gamboa, Woodrow Gamboa
If p is a prime, then the numbers 1, 2, ..., p-1 form a group under multiplication modulo p. A number g that generates this group is called a primitive root of p; i.e., g is such t…