共 17 条
[1]
[Anonymous], 1882, Math. Ann.
[2]
Aransay J., 2022, The Isabelle/HOL Algebra Library
[3]
BAER R., 1936, COMPOS MATH, V3, P391
[4]
Bapanapally J., 2022, LEIBNIZ INT P INFORM, V237, DOI [10.4230/LIPIcs.ITP.2022.5, DOI 10.4230/LIPICS.ITP.2022.5]
[5]
Breitner J., 2010, Archive of Formal Proofs
[6]
Dehn M, 1912, MATH ANN, V71, P116
[7]
Holub S., 2021, 12 INT C INTERACTIVE, V193, DOI [10.4230/LIPIcs.ITP.2021.22, DOI 10.4230/LIPICS.ITP.2021.22]
[8]
JRH13, Simple formulation of group theory with a type of "(A)group
[10]
Lyndon Roger C., 1977, Combinatorial group theory, V188