Calculational proofs in relational graphical linear algebra
type: Item
instance of: scholarly article
title: Calculational proofs in relational graphical linear algebra
DOI: 10.1007/978-3-030-63882-5_6
author: João Paixão
author: Paweł Sobociński
publication date: 2021-07-08T00:00:00Z
Mathematics Subject Classification ID: 03-XX
Mathematics Subject Classification ID: 08-XX
Mathematics Subject Classification ID: 15-XX
Mathematics Subject Classification ID: 18-XX
zbMATH DE Number: 7370046
zbMATH Keywords: graphical linear algebra
zbMATH Keywords: calculational proofs
zbMATH Keywords: diagrammatic language
zbMATH Keywords: Galois connections
zbMATH Keywords: relational mathematics
MaRDI profile type: Publication
full work available at URL: 978-3-030-63882-5 6
OpenAlex ID: W3109247400
Recommended article: On a Graph Calculus for Algebras of Relations
Recommended article: Q4530463
Recommended article: Q4835905
Recommended article: Q5091117
Recommended article: On the expressive power of linear algebra on graphs
Recommended article: Q4964705
Recommended article: The Equational Logic For Graph Algebras
Recommended article: Relational matching for graphical calculi of relations
Recommended article: Q4329274
description: scientific article; zbMATH DE number 7370046