Matroids

swMATH41980MaRDI QIDQ5975011FDOQ5975011

Author name not available (Why is that?)

Official website: https://www.isa-afp.org/entries/Matroids.html

Cited In (8)

• Fishers_Inequality
• A modular first formalisation of combinatorial design theory
• MathScheme
• AVL trees
• CAVA
• Treaps
• Probabilistic_Prime_Tests
• Latin Square

This page was built for software: Matroids