Universidad de La Rioja
4 SlideShares 1 Seguidor
Personal Information
Organización/Lugar de trabajo
Vitoria-Gasteiz Area, Spain Spain
Sector
Technology / Software / Internet
Sitio web
http://www.unirioja.es/cu/joheras
Datos de contacto
Etiquetas
algebraic topology asistentes para la demostración demostración automatizada persistent homology neuron mathematical knowledge management computer algebra systems
Ver más

Presentaciones

(4)
Ver todo

CMTC2010

Hace 15 años • 372 Visualizaciones

Mathematical Knowledge Management in Algebraic Topology

Hace 14 años • 890 Visualizaciones

Neuronal Detection using Persistent Homology

Hace 13 años • 853 Visualizaciones

¿Pueden los ordenadores ayudar en la demostración de teoremas?

Hace 12 años • 731 Visualizaciones
Personal Information
Organización/Lugar de trabajo
Vitoria-Gasteiz Area, Spain Spain
Sector
Technology / Software / Internet
Sitio web
http://www.unirioja.es/cu/joheras
Etiquetas
algebraic topology asistentes para la demostración demostración automatizada persistent homology neuron mathematical knowledge management computer algebra systems
Ver más