Formalization and Execution of Linear Algebra: From Theorems to Algorithms.

Jess Aransay, Jose Divasn

Browse the full LOPSTR paper archive.