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: Apr 25 2024 at 08:20 UTC