Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] New AFP entry: Matroids

Email Gateway (Aug 22 2022 at 18:46):

From: Tobias Nipkow <nipkow@in.tum.de>
Matroids
Jonas Keinholz

This article defines the combinatorial structures known as Independence Systems
and Matroids and provides basic concepts and theorems related to them. These
structures play an important role in combinatorial optimisation, e. g. greedy
algorithms such as Kruskal's algorithm. The development is based on Oxley's
`What is a Matroid?'.

Enjoy!
smime.p7s

Last updated: Mar 09 2025 at 12:28 UTC