Annals of Formalized Mathematics
Another editor has reviewed this page's proposed deletion, endorses the proposal to delete, and adds:
If you remove the {{proposed deletion/dated}} tag above, please also remove this {{Proposed deletion endorsed}} tag. |
The Annals of Formalized Mathematics is a mathematical journal published by EPISciences.[1]
The journal was founded by Robert Y. Lewis and Filippo A. E. Nuccio in 2024.[2] It functions as an overlay journal and aims to fill in a gap in the academic publishing landscape, as previously formalisation of mathematics articles had to be published in computer science journals.
| Discipline | Mathematics, Formalisation |
|---|---|
| Language | English |
| Publication details | |
Publication history | 2025–present |
| Publisher | Episciences (The Netherlands) |
| Frequency | Yearly |
| Yes | |
| License | CC-BY 4.0 |
| Find out here | |
Search Annals of Formalized Mathematics on Amazon.
References
- ↑ "Annals of Formalized Mathematics". 1 January 2025. Retrieved 20 November 2025.
- ↑ Delaunay, Christophe (17 November 2025). "Annals of Formalized Mathematics : un nouvel épi-journal dédié à la formalisation".
  | This article about a mathematics journal is a stub. You can help EverybodyWiki by expanding it. See tips for writing articles about academic journals. Further suggestions might be found on the article's talk page. |
This article "Annals of Formalized Mathematics" is from Wikipedia. The list of its authors can be seen in its historical and/or the page Edithistory:Annals of Formalized Mathematics. Articles copied from Draft Namespace on Wikipedia could be seen on the Draft Namespace of Wikipedia and not main one.
