共 50 条
- [5] Formalizing Free Groups in Isabelle/HOL: The Nielsen-Schreier Theorem and the Conjugacy Problem INTELLIGENT COMPUTER MATHEMATICS, CICM 2023, 2023, 14101 : 158 - 173
- [10] PRO-P-GROUPS OF FINITE COCLASS JOURNAL OF THE LONDON MATHEMATICAL SOCIETY-SECOND SERIES, 1994, 50 : 43 - 48