Extra contribution for mathcomp
-
Updated
Sep 12, 2026 - Rocq Prover
Extra contribution for mathcomp
Identifiability and experimental design in perturbation studies
Matroid Chow Rings, and their semi-small decompositions.
Fast algorithms on 2 dimensional rigidity and (k,l)-sparsity matroids. M-component hypergraph, transversal on the MCT sets and redundant augmentation in O(|V|^2) time and O(|V|) memory.
Combinatiorial Optimization with Matroids
Exact replacement weights and verification code for the sharp multiplicative Merino–Welsh threshold on matroids.
To associate your repository with the matroid topic, visit your repo's landing page and select "manage topics."