Pith. sign in

Title resolution pending

1 Pith paper cite this work. Polarity classification is still indexing.

1 Pith paper citing it

fields

math.GR 1

years

2026 1

verdicts

CONDITIONAL 1

representative citing papers

On Some Problems from the Kourovka Notebook

math.GR · 2026-07-20 · conditional · novelty 7.0

Eight open Kourovka Notebook problems are resolved by explicit constructions and counterexamples, with proofs claimed to be formally verified in Lean.

citing papers explorer

Showing 1 of 1 citing paper.

  • On Some Problems from the Kourovka Notebook math.GR · 2026-07-20 · conditional · none · ref 4

    Eight open Kourovka Notebook problems are resolved by explicit constructions and counterexamples, with proofs claimed to be formally verified in Lean.