Formal Probabilistic Methods for Combinatorial Structures using the Lov\'asz Local Lemma
DOI10.1145/3636501.3636946arXiv2310.00513MaRDI QIDQ6513360FDOQ6513360
Chelsea Edmonds, Lawrence C. Paulson
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)
