7 citations · 19 across the 15 of their papers we have counts for
Showing 2020Show all
2 papers · 1 filter
cs.LO2020
Quadratic Extensions in ACL2
Ruben Gamboa, John Cowles, Woodrow Gamboa
Given a field K, a quadratic extension field L is an extension of K that can be generated from K by adding a root of a quadratic polynomial with coefficients in K. This paper shows…
cs.LO2020
Proceedings of the Sixteenth International Workshop on the ACL2 Theorem Prover and its Applications
Grant Passmore, Ruben Gamboa
This volume contains a selection of papers presented at the 16th International Workshop on the ACL2 Theorem Prover and its Applications (ACL2-2020). The workshops are the premier t…