Eight open Kourovka Notebook problems are resolved by explicit constructions and counterexamples, with proofs claimed to be formally verified in Lean.
Kohl,A Simple Group Generated by Involutions Interchanging Residue Classes of the Integers, Math
1 Pith paper cite this work, alongside 5 external citations. Polarity classification is still indexing.
1
Pith paper citing it
5
external citations · OpenAlex
fields
math.GR 1years
2026 1verdicts
CONDITIONAL 1representative citing papers
citing papers explorer
-
On Some Problems from the Kourovka Notebook
Eight open Kourovka Notebook problems are resolved by explicit constructions and counterexamples, with proofs claimed to be formally verified in Lean.