matrix-algebra

★ 24 updated 13y ago

An algebra for Matrix Expressions written in Maude

No plain-English explanation yet — one is being written right now. Check back in a minute.