Relational style laws and constructs of linear algebra

DOI10.1016/J.JLAP.2014.02.005MaRDI QIDQ406445zbMATH OpenOpenAlexWikidataFDO

Authors Jules Desharnais, Anastasiya Grinenko, Bernhard Möller

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

Kronecker productlinear algebradirect productsdirect sums0-1 matricesrelation algebracolumn-sum operatorrow-sum operator

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 4185659
• Relations in linear algebra
• scientific article; zbMATH DE number 4103147
• scientific article; zbMATH DE number 4212126
• Towards a linear algebra of programming

Cites work

• scientific article; zbMATH DE number 3929034 (Why is no real title available?)
• scientific article; zbMATH DE number 1281921 (Why is no real title available?)
• scientific article; zbMATH DE number 1377708 (Why is no real title available?)
• scientific article; zbMATH DE number 3807678 (Why is no real title available?)
• A new algebraic approach to L-fuzzy relations convenient to study crispness
• Advanced Linear Algebra
• Internal axioms for domain semirings
• Kleene algebra with domain
• Matrices as arrows! A biproduct approach to typed linear algebra
• Typed linear algebra for weigthed (probabilistic) automata

Cited in

(7)

• An algebraic framework for minimum spanning tree problems
• On an algebraic definition of laws
• A linear algebra approach to OLAP
• Relations in linear algebra
• Stone relation algebras
• Verifying minimum spanning tree algorithms with Stone relation algebras
• Relation-algebraic verification of Prim's minimum spanning tree algorithm

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q406445)