Fundada em 2024,修订版形式化数学年鉴,apoiada pela MathOA,publica artigos originais sobre matemática formanization ada e aplicaćes matemаticas de assistentes de prova。这是一个对传统文化的修正,也是一个对数字文化的修正。
- 公共事务主任:Jos Baeten
- 编辑:Robert Y.Lewis;Filippo A.E.Nuccio Mortarino Majno di Capriglio公司
- Tipo de supporte:数字
- 周期:渐变
- 克里亚桑那州:2024年
- 在线na Episciences:2024年数据显示
- 学科:matemática formalizada
- 公共习语:不存在
- 观音进程:estudo cego
- Licença CC BY 4.0公司
- 编辑:MathOA
- Endereço邮政:Centrum Wiskunde&Informatica,邮政信箱94079,1090 GB阿姆斯特丹
- 巴伊斯:巴伊斯·巴克索斯
- 联系方式:afm AT epiciences.org