Browsing Mathematics (Faculty of) by Subject "matroid theory"
Now showing items 1-2 of 2
-
Formalizing the Excluded Minor Characterization of Binary Matroids in the Lean Theorem Prover
(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 ... -
Tensors: Entanglement, Geometry, and Combinatorics
(University of Waterloo, 2022-04-26)In this thesis, we use algebraic-geometric and combinatorial techniques to study tensor decompositions, with applications in quantum information theory, algebraic complexity theory, and algebraic statistics. A tensor is a ...