Extra contribution for mathcomp
coq
theorem-proving
sorting-algorithms
aks-algorithm
fourier-transform
primality-test
binomial
rsa-algorithm
matroid
lucas-theorem
-
Updated
Jul 4, 2024 - Coq
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
Add a description, image, and links to the matroid topic page so that developers can more easily learn about it.
To associate your repository with the matroid topic, visit your repo's landing page and select "manage topics."