Verified Computer Linear Algebra
-
1
Universidad de La Rioja
info
- Jónathan Heras (coord.)
- Ana Romero (coord.)
Publisher: Universidad de La Rioja ; Real Sociedad Matemática Española
ISBN: 978-84-608-9024-9
Year of publication: 2016
Pages: 35-38
Congress: Encuentro de Algebra Computacional y Aplicaciones (15. 2016. Logroño)
Type: Conference paper