Aggregation Algebras (Q7361680)

From MaRDI portal

!

This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:

AFP entry Aggregation_Algebras
Language Label Description Also known as
default for all languages
No label defined
    English
    Aggregation Algebras
    AFP entry Aggregation_Algebras

      Statements

      15 September 2018
      0 references
      Walter Guttmann
      0 references
      Aggregation Algebras (English)
      0 references
      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.
      0 references
      0 references