Lean 4 formalizations of results from my research on graphs, networks, and the modulus of families of objects.
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 :-)
Lean 4 formalization of infinitely many excluded minors for weakly orientable matroids and the Bland–Jensen conjecture.
SageMath enumeration of K₅-minor-free binary matroids to investigate rank-based size bounds.
Research note and exact certificates for uniform multiplicative Ingleton bounds on nonnegative Lorentzian quadratics
AI-assisted mathematical research manuscripts with reproducible materials across combinatorics and words, matrix and coding theory, topology, order and discrete geometry, algebra, matroids, and continuous optimization.
To associate your repository with the matroid-theory topic, visit your repo's landing page and select "manage topics."