Relational style laws and constructs of linear algebra

DOI10.1016/j.jlap.2014.02.005zbMath1434.15016OpenAlexW2032028343WikidataQ114851536 ScholiaQ114851536MaRDI QIDQ406445

Bernhard Möller, Anastasiya Grinenko, Jules Desharnais

Publication date: 8 September 2014

Published in: Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jlap.2014.02.005

zbMATH Keywords

direct sumsdirect productsrelation algebraKronecker productlinear algebra0-1 matricescolumn-sum operatorrow-sum operator

Mathematics Subject Classification ID

Basic linear algebra (15A99) Special matrices (15B99)

Related Items (6)

Stone Relation Algebras ⋮ Relation-Algebraic Verification of Prim’s Minimum Spanning Tree Algorithm ⋮ Relations in linear algebra ⋮ Verifying minimum spanning tree algorithms with Stone relation algebras ⋮ An algebraic framework for minimum spanning tree problems ⋮ A linear algebra approach to OLAP

Cites Work

• Internal axioms for domain semirings
• A new algebraic approach to L-fuzzy relations convenient to study crispness
• Typed Linear Algebra for Weigthed (Probabilistic) Automata
• Matrices as Arrows!
• Advanced Linear Algebra
• Kleene algebra with domain
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Relational style laws and constructs of linear algebra