Our mission
Publications
Diamond open access journals
Users
Founded in 2024, the MathOA-supported journal Annals of Formalized Mathematics publishes original articles about formalized mathematics and mathematical applications of proof assistants. The journal accepts papers in English that are typically accompanied by a code artifact.
Founded in 1980, Recherches en Didactique des Mathématiques is an international journal of fundamental research in the didactics of mathematics. Edited by the Association pour la Recherche en Didactique des Mathématiques, it publishes articles in English, French and Spanish three times a year.
Created in 2023, Open Plasma Science is a peer-reviewed journal supported by the University of Lorraine. It publishes articles in English covering plasma science in the broadest sense, from fusion plasmas to high- and low-pressure discharge plasmas, from plasma-surface or plasma-liquid interactions to turbulence in plasmas, from propulsion to manufacturing processes using plasmas.