Matroids

MaRDI QIDQ5975011swMATHFDO

Authors Jonas Keinholz

Publication date 16 November 2018

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

Cited in

(8)

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

This page was built for software: Matroids