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

Hace 11 años 728 Visualizaciones

Neuronal Detection using Persistent Homology

Hace 12 años 843 Visualizaciones

Mathematical Knowledge Management in Algebraic Topology

Hace 12 años 878 Visualizaciones

CMTC2010

Hace 13 años 370 Visualizaciones