Formal target: Corpus.WikipediaSteinerSystem.large_steiner_systems

Construct an $S(t, k, n)$-Steiner system with $n > k > t > 5$, $t < 10$, and $n < 200$.

Exact formal statement

Nonempty.{1} Corpus.WikipediaSteinerSystem.LargeSteinerSystemWitness

This target is a formal statement, not a proof of the problem.

Environment availability: available.

Public accepted solutions (paginated API)

Public JSON record