High-level axioms for graphical linear algebra

João Paixão, Lucas Rufino, Pawel Sobocinski 0001. High-level axioms for graphical linear algebra. Science of Computer Programming, 218:102791, 2022. [doi]

Abstract

Abstract is missing.