Calculational proofs in relational graphical linear algebra

DOI10.1007/978-3-030-63882-5_6OpenAlexW3109247400MaRDI QIDQ2038024FDOQ2038024

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

Publication date: 8 July 2021

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

Recommendations

• On a Graph Calculus for Algebras of Relations
• [[:Publication:4530463|Title not available (Why is that?)]]
• [[:Publication:4835905|Title not available (Why is that?)]]
• [[:Publication:5091117|Title not available (Why is that?)]]
• On the expressive power of linear algebra on graphs
• [[:Publication:4964705|Title not available (Why is that?)]]
• The Equational Logic For Graph Algebras
• Relational matching for graphical calculi of relations
• [[:Publication:4329274|Title not available (Why is that?)]]

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)

Cited In (3)

• String Diagram Rewrite Theory I: Rewriting with Frobenius Structure
• Title not available (Why is that?)
• On a Graph Calculus for Algebras of Relations

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)