matroids

There are 11 repositories under matroids topic.

bryangingechen/lean-matroids
matroids in lean
Language:Lean3 2 11
cannor147/itmo-dm
Discrete Mathematics course at ITMO University
Language:C++2 2 12
FGlazov/ChowRings
Matroid Chow Rings, and their semi-small decompositions.
Language:Julia2 2 00
heitorbaldo/awesome-discrete-mathematics-and-applications
A curated list of awesome Discrete Mathematics and Applications resources.
1 1 00
pawelswoboda/arboricity
Compute arboricity and forest decomposition of graphs.
Language:C++1 4 02
rkingan/matroid-software
Software for working with matroids
1 2 00
gmou3/matroid-database
Python interface to matroid database
Language:Python0 1 01
he-rand/conditional-oriented-matroids
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.
Language:Sage0 1 00
heitorbaldo/Notes_Computational_Mathematics
Language:Jupyter Notebook0 1 00
zvihr/algebraic-matroids
Code accompanying the pre-print "Computing Algebraic Matroids" by Zvi Rosen.
Language:Shell0 1 00
gfngfn/Matroid
document about matroid theory
Language:TeX