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

Jesús Aransay, Jose Divasón (2013)
a service of Schloss Dagstuhl - Leibniz Center for Informatics