114 citations
- Institut Polytechnique de ParisFR2 papers
- Intel (United Kingdom)GB2 papers
- Télécom SudParisFR2 papers
- Universitat Politècnica de CatalunyaES2 papers
- University of RochesterUS2 papers
- Washington University in St. LouisUS2 papers
- Armada (Poland)PL1 paper
- ARM (United Kingdom)GB1 paper
- Artificial Intelligence in Medicine (Canada)CA1 paper
- Barcelona Supercomputing CenterES1 paper
- Boston UniversityUS1 paper
- Citrus Research InternationalZA1 paper
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…