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.
In years: 1995 - 1997 financed by Office of Naval Research Project (USA).

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. *NDIFF14,             {H}igher Order Partial Differentiable Functions, Kazuhisa Nakasho and Yasunari Shidama.
  2. *MEASUR15,         {M}easure for Product Space of Real Normed Spaces, Noboru Endou and Yasunari Shidama.
  3. *FUZZY_9,             {T}riangular Fuzzy Set Composed of Two Intersecting Affine Maps, Takashi Mitsuishi.
  4. SUSZKO_1,          {S}uszko's Non-{F}regean Logics. {P}art 1, Taneli Huuskonen.
  5. NUMBER17,         {E}lementary Number Theory Problems. {P}art {XVII}, Artur Korni{\l}owicz.
  6. GALOIS_0,         {T}he Lattice of Intermediate Fields and Other Preliminaries to {G}alois Theory, Christoph Schwarzweller and Agnieszka Rowi\'nska-Schwarzweller.
  7. GALOIS_1,         {I}ntroduction to {G}alois Theory, Christoph Schwarzweller and Agnieszka Rowi\'nska-Schwarzweller.
  8. MESFUN18,         {I}ntegrability of Multivariable Continuous Functions, Noboru Endou and Yasunari Shidama.
  9. NUMBER18,         {E}lementary Number Theory Problems. {P}art {XVIII}, Adam Grabowski.
  10. DUALSP07,         {F}ormalization of Separable Version of {B}anach-{A}laoglu Theorem, Hiroyuki Okazaki and Takehiko Mieno.
  11. GALOIS_2,         {C}haracterization of Finite {G}alois Extensions, Christoph Schwarzweller.
  12. NEWTON06,         {A}pplication of Complex Classes to Number Theory, Rafa{\l} Ziobro.
  13. NUMBER19,         {E}lementary Number Theory Problems. {P}art {XIX}, Karol P\kak.
* - final version