Calculational proofs in relational graphical linear algebra

DOI10.1007/978-3-030-63882-5_6MaRDI QIDQ2038024zbMATH OpenOpenAlexFDO

Authors João Paixão, Paweł Sobociński

Publication date 8 July 2021

Full work available at URL https://doi.org/10.1007/978-3-030-63882-5_6

zbMATH Keywords

Galois connectionsrelational mathematicscalculational proofsdiagrammatic languagegraphical linear algebra

Mathematics Subject Classification ID

Linear and multilinear algebra; matrix theory (15-XX) Mathematical logic and foundations (03-XX) General algebraic systems (08-XX) Category theory; homological algebra (18-XX)

Recommendations

• On a Graph Calculus for Algebras of Relations
• scientific article; zbMATH DE number 1748578
• scientific article; zbMATH DE number 762061
• On the expressive power of linear algebra on graphs
• On the expressive power of linear algebra on graphs
• A new graphical calculus of proofs
• The Equational Logic For Graph Algebras
• Relational matching for graphical calculi of relations
• scientific article; zbMATH DE number 1735911

Cited in

(4)

• On a Graph Calculus for Algebras of Relations
• Graphical piecewise-linear algebra
• scientific article; zbMATH DE number 1748578 (Why is no real title available?)
• String diagram rewrite theory. I: Rewriting with Frobenius structure

This page was built for publication: Calculational proofs in relational graphical linear algebra

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