This project is about formally verifying Seymour's decomposition theorem for regular matroids.
-
Updated
Aug 19, 2026 - Lean
#
matroids
Here are 15 public repositories matching this topic...
matroids in lean
-
Updated
Dec 21, 2020 - Lean
Matroid Chow Rings, and their semi-small decompositions.
-
Updated
Mar 3, 2022 - Julia
Discrete Mathematics course at ITMO University
automata probability discrete-mathematics combinatorics generating-function turing-machine compression-algorithm planar-graphs matroids boolean-function hamiltonian-cycles cf-grammar
-
Updated
Jul 29, 2022 - C++
Compute arboricity and forest decomposition of graphs.
-
Updated
Aug 1, 2017 - C++
Python interface to matroid database
-
Updated
Aug 16, 2026 - Python
Code accompanying the pre-print "Computing Algebraic Matroids" by Zvi Rosen.
-
Updated
Nov 28, 2017 - Shell
SageMath functions manipulating conditional oriented matroids. Among other functions, the check if a set corresponds to a conditional oriented matroid, the generating of that latter from its tope set, its Varchenko determinant computing, and the solving of its Aguiar-Mahajan system are implemented.
-
Updated
May 9, 2026 - Sage
document about matroid theory
-
Updated
Nov 4, 2015 - TeX
A small Python package to perform computations on graphic matroids.
-
Updated
Feb 21, 2026 - Jupyter Notebook
Discrete Math Labs
automata graphs logic probability discrete-mathematics combinatorics turing-machine boolean-algebra context-free-grammar compression-algorithm matroids generating-functions
-
Updated
Apr 20, 2025 - C++
Random matroid generator, circuit sampler, exploring the clustering phenomena and phase transitions
-
Updated
Mar 30, 2026 - Python
-
Updated
Nov 7, 2023 - Jupyter Notebook
Improve this page
Add a description, image, and links to the matroids topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the matroids topic, visit your repo's landing page and select "manage topics."