Formal Probabilistic Methods for Combinatorial Structures using the Lov\'asz Local Lemma
From MaRDI portal
Publication:6513360
Combinatorial probability (60C05) Coloring of graphs and hypergraphs (05C15) Hypergraphs (05C65) Mechanization of proofs and logical operations (03B35) Extremal set theory (05D05) Formalization of mathematics in connection with theorem provers (68V20) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15) Digital mathematics libraries and repositories (68V35)
This page was built for publication: Formal Probabilistic Methods for Combinatorial Structures using the Lov\'asz Local Lemma
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6513360)
