Hispanopedia WikiLa gestión del conocimiento matemático (GCM) es el estudio de cómo la sociedad puede hacer un uso eficaz de la vasta y creciente literatura sobre matemáticas . Estudia enfoques como las bases de datos de conocimiento matemático, el procesamiento automatizado de fórmulas y el uso de información semántica , y la inteligencia artificial . Las matemáticas son particularmente adecuadas para un estudio sistemático del procesamiento automatizado del conocimiento debido al alto grado de interconexión entre las diferentes áreas de las matemáticas.
Véase también
Enlaces externos
- Hazewinkel, Michiel (noviembre de 2003). "Es necesaria la gestión del conocimiento matemático". arXiv : cs/0410055 .
Ni siquiera sabemos cuánto sabemos que no sabemos que sabemos
- www.nist.gov/mathematical-knowledge-management, página MKM del NIST
- El grupo de interés MKM (archivado)
- IX Conferencia Internacional sobre MKM, París, Francia, 2010
- Conferencia Big Proof, un programa del Instituto Isaac Newton dirigido a los desafíos de incorporar la tecnología de prueba a la práctica matemática convencional.
- Gran prueba dos