Анналы формализованной математики

Анналы формализованной математики

Анналы формализованной математики — это математический журнал, издаваемый Episciences.

Журнал был основан Робертом Й. Льюисом и Филиппо А. Э. Нуччо в 2024 году. Он функционирует как оверлейный журнал и призван заполнить пробел в ландшафте академических публикаций, поскольку ранее формализованные математические статьи приходилось публиковать в журналах по информатике.

Ссылки

• https://afm.episciences.org/
• https://www.insmi.cnrs.fr/fr/cnrsinfo/annals-formalized-mathematics-nouvel-epijournal-formalisation