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. CLASSES5,            {U}-Small and {U}-Locally Small Categories, Roland Coghetto.
  2. NUMBER15,          {E}lementary Number Theory Problems. {P}art {XV} -- {D}iophantine Equations, Karol P{\ka}k and Artur Korni{\l}owicz.
  3. E_TRANS1,            {F}ormal Proof of Transcendence of the Number $e$. {P}art {I}, Yasushige Watase.
  4. E_TRANS2,            {F}ormal Proof of Transcendence of the Number $e$. {P}art {II}, Yasushige Watase.
  5. DUALSP06,            {F}ormalization of Orthogonal Complements of Normed Spaces, Hiroyuki Okazaki.
  6. ASCOLI2,               {A}scoli-{A}rzela's Theorem (Metric Space Version), Keiichi Miyajima and Hiroshi Yamazaki.