Matroids

MaRDI QIDQ5975011swMATHFDO

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

Cited in

(8)

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

This page was built for software: Matroids