Advances and Perspectives in the Mechanization of Mathematics
Un indicador de la vitalidad de un área lo constituye los números especiales de revistas dedicadas al área.
La revista Mathematical Structures in Computer Science ha anunciado un número especial sobre Advances and Perspectives in the Mechanization of Mathematics.
En el anuncio se constata el éxito obtenido formalizando algunos teoremas matemáticos importantes tales como el teorema de los números primos, el teorema de los cuatro colores y el teorema de la curva de Jordan.
El número desea reflejar los avances recientes y las nuevas perspectivas dentro del campo de la formalización del conocimiento matemático, incluyendo descripciones de nuevas formalizaciones.
La fecha límite para el envío de artículos es el 28 de Junio de 2010.