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.
Coming soon
Founded in 2017, Compositionality welcomes research articles in English in the field of the mathematics of composition across all disciplines. The journal is published by the Compositionality Charitable Incorporated Organisation.
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.