Verified Computer Linear Algebra

  1. Jesús Aransay 1
  2. Jose Divasón 1
  1. 1 Universidad de La Rioja
    info

    Universidad de La Rioja

    Logroño, España

    ROR https://ror.org/0553yr311

Libro:
XV Encuentro de Álgebra computacional y aplicaciones: EACA 2016
  1. Jónathan Heras (coord.)
  2. 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

Repositorio institucional: lock_openAcceso abierto Editor