8 citations · 19 across the 7 of their papers we have counts for
Showing cs.DMShow all
2 papers · 1 filter
cs.DM2023★ 2 cited
A Formalization of Finite Group Theory: Part II
David M. Russinoff
This is the second installment of an exposition of an ACL2 formalization of finite group theory. The first, which was presented at the 2022 ACL2 workshop, covered groups and subgro…
cs.DM2023★ 2 cited
A Formalization of Finite Group Theory: Part III
David M. Russinoff
This is the third and final installment of an exposition of an ACL2 formalization of finite group theory. Part I covers groups and subgroups, cosets, normal subgroups, and quotient…