Risultati della ricerca - Edmonds, Chelsea

A Modular First Formalisation of Combinatorial Design Theory di Edmonds, Chelsea, Paulson, Lawrence

Testo

Formalising Fisher's Inequality: Formal Linear Algebraic Proof Techniques in Combinatorics di Edmonds, Chelsea, Paulson, Lawrence C.

Testo

Formal Probabilistic Methods for Combinatorial Structures using the Lovász Local Lemma di Edmonds, Chelsea, Paulson, Lawrence C.

Testo