Département: Matemáticas y Computación

Domaine: Ciencia de la Computación e Inteligencia Artificial

Groupe de recherche: Grupo de Informática de la Universidad de La Rioja

Email: jose.divason@unirioja.es

Web personnel: https://www.unirioja.es/cu/jodivaso/

Docteur à l Universidad de La Rioja avec la thèse Formalisation and execution of Linear Algebra: theorems and algorithms 2016. Dirigée par Dr. Jesús María Aransay Azofra, Dr. Julio Rubio García.