Theories of linear algebra and graphical linear algebra
Author AlgebraicJulia
6 Stars
Updated Last
1 Year Ago
Started In
November 2021

Logo GraphicalLinearAlgebra.jl

Documentation Tests

This repo extends Catlab.jl with more theories, including graphical linear algebra.

Future work will incorporate knowledge from String Diagram Rewrite Theory, and we will perform optimization of linear algebra computations with an e-graphs approach (which is applicable to theories beyond GLA).

These links provide more background on GLA and e-graphs.