kirancodes.me
To Proof Maintenance & Beyond!

Fun with semirings: a functional pearl on the abuse of linear algebra

Stephen Dolan

Abstract

Describing a problem using classical linear algebra is a very well-known problem-solving technique. If your question can be formulated as a question about real or complex matrices, then the answer can often be found by standard techniques.

DOI 10.1145/2500365.2500613

Related papers