High-level axioms for graphical linear algebra
author
Paixao, Joao
Rufino, Lucas
Sobocinski, Pawel Maria
statement of authorship
João Paixão, Lucas Rufino, Paweł Sobociński
source
Science of computer programming
publisher
Elsevier
journal volume number month
vol. 218
year of publication
2022
pages
art. 102791 ; 26 p
url
https://doi.org/10.1016/j.scico.2022.102791
subject term
lineaaralgebra
keyword
graphical linear algebra
calculational proofs
diagrammatic language
string diagrams
Recursive linear algebra
ISSN
0167-6423
notes
Bibliogr.: 25 ref
scientific publication
teaduspublikatsioon
classifier
1.1
Scopus
Journal metrics at Scopus
Article at Scopus
WOS
Journal metrics at WOS
Article at WOS
category (general)
Computer science
en
Arvutiteadus
et
Mathematics
en
Matemaatika
et
category (sub)
Computer science. Computational theory and mathematics
en
Arvutiteadus. Arvutusteooria ja matemaatika
et
Mathematics. Modeling and simulation
en
Matemaatika. Modelleerimine ja simulatsioon
et
Computer science. Information systems
en
Arvutiteadus. Infosüsteemid
et
Computer science. Software
en
Arvutiteadus. Tarkvara
et
kvartiil
Q2
TTÜ department
tarkvarateaduse instituut
language
inglise
Uurimisrühm
Laboratory for compositional systems and methods