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. *POLNOT_2,          {E}xtensions of Languages in {P}olish Notation, Taneli Huuskonen.
  3. GROUP_24,          {S}emidirect Products of Groups, Alexander M. Nelson.
  4. WALLIS01,           {F}ormalization of {W}allis Infinite Product Formula for $\pi$ and the {W}allis Integral, Yasushige Watase.
  5. STIRLIN1,            {A} Formal Proof of {S}tirling's Formula, Yasushige Watase.
  6. NDIFF14,             {H}igher Order Partial Differentiable Functions, Kazuhisa Nakasho and Yasunari Shidama.
  7. MEASUR15,         {M}easure for Product Space of Real Normed Spaces, Noboru Endou and Yasunari Shidama.
  8. FUZZY_9,             {T}riangular Fuzzy Set Composed of Two Intersecting Affine Maps, Takashi Mitsuishi.
  9. SUSZKO_1,          {S}uszko's Non-{F}regean Logics. {P}art 1, Taneli Huuskonen.
  10. NEWTON06,         {A}pplication of Complex Classes to Number Theory, Rafa{\l} Ziobro.
* - final version