High-level axioms for graphical linear algebra
autor
Paixao, Joao
Rufino, Lucas
Sobocinski, Pawel Maria
vastutusandmed
João Paixão, Lucas Rufino, Paweł Sobociński
allikas
Science of computer programming
kirjastus/väljaandja
Elsevier
ajakirja aastakäik number kuu
vol. 218
ilmumisaasta
2022
leheküljed
art. 102791 ; 26 p
leitav
https://doi.org/10.1016/j.scico.2022.102791
märksõna
lineaaralgebra
võtmesõna
graphical linear algebra
calculational proofs
diagrammatic language
string diagrams
Recursive linear algebra
ISSN
0167-6423
märkused
Bibliogr.: 25 ref
teaduspublikatsioon
teaduspublikatsioon
klassifikaator
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
kategooria (üld)
Computer science
Arvutiteadus
Mathematics
Matemaatika
kategooria (alam)
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
kvartiil
Q2
TTÜ struktuuriüksus
tarkvarateaduse instituut
keel
inglise
Uurimisrühm
Kompositsiooniliste süsteemide ja meetodite labor