Verified Computer Linear Algebra
-
1
Universidad de La Rioja
info
- Jónathan Heras (coord.)
- Ana Romero (coord.)
Editorial: Universidad de La Rioja ; Real Sociedad Matemática Española
ISBN: 978-84-608-9024-9
Año de publicación: 2016
Páginas: 35-38
Congreso: Encuentro de Algebra Computacional y Aplicaciones (15. 2016. Logroño)
Tipo: Aportación congreso