Julia implementation of the Shannon Switching Game (two-player graph game invented by Claude Shannon). Trying to find optimal strategies with matroid theory + some heuristics for the weighted variant. Started as a uni project, now just messing with it for fun :-)
SageMath enumeration of K₅-minor-free binary matroids to investigate rank-based size bounds.
Lean 4 formalization of infinitely many excluded minors for weakly orientable matroids and the Bland–Jensen conjecture.
Lean 4 formalizations of results from my research on graphs, networks, and the modulus of families of objects.
Add a description, image, and links to the matroid-theory topic page so that developers can more easily learn about it.
To associate your repository with the matroid-theory topic, visit your repo's landing page and select "manage topics."