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
https://www.scopus.com/sourceid/28416
https://www.scopus.com/record/display.uri?eid=2-s2.0-85126314085&origin=inward&txGid=70be018e057f8e10f8de93f04c1f3d9d
WOS
https://jcr.clarivate.com/jcr-jp/journal-profile?journal=SCI%20COMPUT%20PROGRAM&year=2022
https://www.webofscience.com/wos/woscc/full-record/WOS:000793563300005
category (general)
Computer science
Arvutiteadus
Mathematics
Matemaatika
category (sub)
Computer science. Computational theory and mathematics
Arvutiteadus. Arvutusteooria ja matemaatika
Mathematics. Modeling and simulation
Matemaatika. Modelleerimine ja simulatsioon
Computer science. Information systems
Arvutiteadus. Infosüsteemid
Computer science. Software
Arvutiteadus. Tarkvara
quartile
Q2
TalTech department
tarkvarateaduse instituut
language
inglise
Reserch Group
Laboratory for compositional systems and methods