Calculational proofs in relational graphical linear algebra

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

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

Recommendations

• On a Graph Calculus for Algebras of Relations
• scientific article; zbMATH DE number 1748578
• scientific article; zbMATH DE number 762061
• scientific article; zbMATH DE number 7561467
• 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

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)