Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] New AFP entry: Graph Theory


view this post on Zulip Email Gateway (Aug 19 2022 at 11:07):

From: Tobias Nipkow <nipkow@in.tum.de>
Graph Theory
Lars Noschinski

This development provides a formalization of directed graphs, supporting
(labelled) multi-edges and infinite graphs. A polymorphic edge type allows edges
to be treated as pairs of vertices, if multi-edges are not required. Formalized
properties are i.a. walks (and related concepts), connectedness and subgraphs
and basic properties of isomorphisms.

This formalization is used to prove characterizations of Euler Trails, Shortest
Paths and Kuratowski subgraphs.

http://afp.sourceforge.net/entries/Graph_Theory.shtml


Last updated: Mar 29 2024 at 12:28 UTC