Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] New AFP article: Aggregation Algebras

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

From: Tobias Nipkow <nipkow@in.tum.de>
Aggregation Algebras
Walter Guttmann

We develop algebras for aggregation and minimisation for weight matrices and for
edge weights in graphs. We verify the correctness of Prim's and Kruskal's
minimum spanning tree algorithms based on these algebras. We also show numerous
instances of these algebras based on linearly ordered commutative semigroups.

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

Enjoy!
smime.p7s

Last updated: Nov 21 2024 at 12:39 UTC