High-level axioms for graphical linear algebra
autor
vastutusandmed
João Paixão, Lucas Rufino, Paweł Sobociński
allikas
Science of computer programming
kirjastus/väljaandja
ajakirja aastakäik number kuu
vol. 218
ilmumisaasta
leheküljed
art. 102791 ; 26 p
ISSN
0167-6423
märkused
Bibliogr.: 25 ref
teaduspublikatsioon
teaduspublikatsioon
keel
inglise
märksõna
võtmesõna
graphical linear algebra
calculational proofs
diagrammatic language
Recursive linear algebra
klassifikaator
kvartiil
TTÜ struktuuriüksus
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.