This project is about formally verifying Seymour's decomposition theorem for regular matroids.
-
Updated
Dec 19, 2024 - TeX
#
matroids
Here are 12 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++
A curated list of awesome Discrete Mathematics and Applications resources.
-
Updated
Aug 3, 2024
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
Oct 16, 2023 - Sage
document about matroid theory
-
Updated
Nov 4, 2015 - TeX
-
Updated
Nov 7, 2023 - Jupyter Notebook
Python interface to matroid database
-
Updated
Aug 29, 2024 - Python
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."