La 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.
Ni siquiera sabemos cuánto sabemos que no sabemos que sabemos