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 :-)
Research note and exact certificates for uniform multiplicative Ingleton bounds on nonnegative Lorentzian quadratics
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 accompanying results on exact list-edge labelings of finite bipartite multigraphs.
AI-assisted mathematical research manuscripts with reproducible materials across combinatorics and words, stochastic matrix permanents, coding theory, topology, order and discrete geometry, algebra, matroids, base-intersection domination, Tutte inequalities and Ehrhart real-rootedness, and continuous optimization.
To associate your repository with the matroid-theory topic, visit your repo's landing page and select "manage topics."