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)