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

Llibre:
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

Any de publicació: 2016

Pàgines: 35-38

Congrés: Encuentro de Algebra Computacional y Aplicaciones (15. 2016. Logroño)

Tipus: Aportació congrés

DIALNET GOOGLE SCHOLAR lock_openDialnet editor
Repositori institucional: lock_openAccés obert Editor
Fuente de los datos: Dialnet