Annals of Formalized Mathematics : un nouvel épi-journal dédié à la formalisation
Discipline mathématique en plein essor, la formalisation bénéficie désormais d’une revue dédiée, dont le premier numéro a été publié en juillet 2025. Plongez au cœur d’un épi-journal qui tient à mettre en valeur cette nouvelle discipline avec Filippo A. E. Nuccio, éditeur en chef et co-fondateur de Annals of Formalized Mathematics (AFM), publié chez EPISciences.
Genèse du projet
La formalisation mathématique est un domaine en plein essor et pour lequel il n’y avait pas de revue dédiée. L’idée était de se dire que, parfois, une discipline peut se définir par les journaux qui la représentent : en quelque sorte, ce sont les journaux où sont publiés les articles qui façonnent la discipline. La formalisation mathématique est l’utilisation de certains logiciels pour vérifier des démonstrations mathématiques, on les appelle assistants de preuve. En principe, cette utilisation existe depuis les années 1970 en informatique, mais son utilisation était restée plutôt restreinte jusqu’à très récemment.
source > www.insmi.cnrs.fr, 17 novembre 2025
