High-level axioms for graphical linear algebra
author
statement of authorship
João Paixão, Lucas Rufino, Paweł Sobociński
source
Science of computer programming
publisher
journal volume number month
vol. 218
year of publication
pages
art. 102791 ; 26 p
subject term
keyword
graphical linear algebra
calculational proofs
diagrammatic language
Recursive linear algebra
ISSN
0167-6423
notes
Bibliogr.: 25 ref
scientific publication
teaduspublikatsioon
classifier
category (general)
category (sub)
kvartiil
TTÜ department
language
inglise
Uurimisrühm
Paixao, J., Rufino, L., Sobocinski, P. M. High-level axioms for graphical linear algebra // Science of computer programming (2022) vol. 218, art. 102791 ; 26 p.