research
∙
05/24/2022
A Free Group of Rotations of Rank 2
One of the key steps in the proof of the Banach-Tarski Theorem is the in...
share
research
∙
05/24/2022
Using ACL2 To Teach Students About Software Testing
We report on our experience using ACL2 in the classroom to teach student...
research
∙
05/24/2022
All Prime Numbers Have Primitive Roots
If p is a prime, then the numbers 1, 2, ..., p-1 form a group under mult...
research
∙
09/29/2020
Quadratic Extensions in ACL2
Given a field K, a quadratic extension field L is an extension of K that...
research
∙
09/26/2020
Proceedings of the Sixteenth International Workshop on the ACL2 Theorem Prover and its Applications
This volume contains a selection of papers presented at the 16th Interna...
research
∙
10/10/2018