Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] New AFP entry: Full name: Relational Minimum S...


view this post on Zulip Email Gateway (Dec 08 2020 at 12:15):

From: Tobias Nipkow <nipkow@in.tum.de>
Relational Minimum Spanning Tree Algorithms
Walter Guttmann, Nicolas Robinson-O'Brien

We verify the correctness of Prim's, Kruskal's and Borůvka's minimum spanning
tree algorithms based on algebras for aggregation and minimisation.

https://www.isa-afp.org/entries/Relational_Minimum_Spanning_Trees.html

Enjoy!
smime.p7s


Last updated: Mar 28 2024 at 20:16 UTC