Formalization and Execution of Linear Algebra: From Theorems to Algorithms | Publicación