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

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

Recommendations

• On the expressive power of linear algebra on graphs 👍 👎
• Relational matching for graphical calculi of relations 👍 👎
• The Equational Logic For Graph Algebras 👍 👎
• On a Graph Calculus for Algebras of Relations 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎

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)