In years: 2023-2024, expanding publishing software and development of web interface provided to authors
and editors under agreement RCN/SP/0479/2021/1 with the funds from the Polish Minister of Education and Science
for the development of scientific journals.
In years: 2016-2017, the English version of Formalized Mathematics was financed under agreement 548/P-DUN/2016
with the funds from the Polish Minister of Science and Higher Education for the dissemination of science.

Papers accepted for publication

The most recently submitted article is listed last.

Formalized Mathematics, 2024 - Open Volume 32, Issue 1

     (to be continued)

  1. NUMBER14,          {E}lementary Number Theory Problems. {P}art {XIV} -- {D}iophantine Equations, Artur Korni{\l}owicz.
  2. SURREALI,            {I}nverse Element for Surreal Number, Karol P{\ka}k.
  3. CLASSES5,            {U}-Small and {U}-Locally Small Categories, Roland Coghetto.
  4. NUMBER15,          {E}lementary Number Theory Problems. {P}art {XV} -- {D}iophantine Equations, Karol P{\ka}k and Artur Korni{\l}owicz.
  5. E_TRANS1,            {F}ormal Proof of Transcendence of the Number $e$. {P}art {I}, Yasushige Watase.
  6. E_TRANS2,            {F}ormal Proof of Transcendence of the Number $e$. {P}art {II}, Yasushige Watase.