In years: 2023-2024, Formalized Mathematics was financed 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, 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 which have not been published yet - during the process of proof-read by Authors.

The most recently submitted article is listed last.

Formalized Mathematics, 2025 - Open Volume 33, Issue 1

     (to be continued)

  1. GR_FREE0,          {F}ree Product of Groups, Sebastian Koch.
  2. NEWTON06,          {A}pplication of Complex Classes to Number Theory, Rafa{\l} Ziobro.
  3. POLNOT_2,          {E}xtensions of Languages in {P}olish Notation, Taneli Huuskonen.
  4. GROUP_24,          {S}emidirect Products of Groups, Alexander M. Nelson.
  5. WALLIS01,           {F}ormalization of {W}allis Infinite Product Formula for $\pi$ and the {W}allis Integral, Yasushige Watase.
  6. STIRLIN1,            {A} Formal Proof of {S}tirling's Formula, Yasushige Watase.