Browsing Mathematics (Faculty of) by Author "Gusakov, Alena"
Now showing items 1-1 of 1
-
Formalizing the Excluded Minor Characterization of Binary Matroids in the Lean Theorem Prover
Gusakov, Alena (University of Waterloo, 2024-01-23)A matroid is a mathematical object that generalizes the notion of linear independence of a set of vectors to an abstract independence of sets, with applications to optimization, linear algebra, graph theory, and algebraic ...