Verified Computer Linear Algebra

• Jesús Aransay ^[1] ; Jose Divasón ^[1]
  1. [1] Universidad de La Rioja

     Universidad de La Rioja

     Logroño, España

     
• Localización: XV Encuentro de Álgebra computacional y aplicaciones: EACA 2016 / coord. por Jónathan Heras Vicente, Ana Romero Ibáñez, 2016, ISBN 978-84-608-9024-9, págs. 35-38
• Idioma: inglés
• Enlaces
  • Texto Completo Libro (pdf)