Calculational proofs in relational graphical linear algebra

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

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

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

Related Items (1)

String Diagram Rewrite Theory I: Rewriting with Frobenius Structure

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