Formalization and execution of Linear Algebra: from theorems to algorithms
Editorial: Springer
ISBN: 978-3-319-17821-9
Ano de publicación: 2014
Páxinas: 1-18
Tipo: Capítulo de libro
Editorial: Springer
ISBN: 978-3-319-17821-9
Ano de publicación: 2014
Páxinas: 1-18
Tipo: Capítulo de libro