En los últimos años, bajo el nombre de MKM (siglas en inglés de Gestión del Conocimiento Matemático), ha emergido una activa comunidad, sobre todo europea, de matemáticos, informáticos y documentalistas, que buscan investigar nuevas herramientas para el tratamiento de textos matemáticos en formato digital. Más generalmente la llamada "Intelligent Computer Mathematics" es un campo innovador que ha surgido de la presión de ingenieros, científicos y bibliotecas, que demandan nuevas técnicas para producir, transmitir, consumir y gestionar productos matemáticos cada vez más sofisticados.
[Seguir leyendo] CICM, Conferences on Intelligent Computer Mathematics (Paris, 5-10 de Julio de 2010)