Universidad de La Rioja
1
Abonnés
Personal Information
Entreprise/Lieu de travail
Vitoria-Gasteiz Area, Spain Spain
Secteur d’activité
Technology / Software / Internet
Site Web
http://www.unirioja.es/cu/joheras
Mots-clés
algebraic topology
asistentes para la demostración
demostración automatizada
persistent homology
neuron
mathematical knowledge management
computer algebra systems
Tout plus