Recently published

  1. K. P±k
    Formalization of the MRDP Theorem in theMizar System
    Form. Math. 27 (2019), no. 2, 209-221.
  2. K. P±k
    Diophantine Sets. Part II
    Form. Math. 27 (2019), no. 2, 197-208.
  3. A. Jaszczak
    Partial correctness of a power algorithm
    Form. Math. 27 (2019), no. 2, 189-195.
  4. A. Jaszczak, A. Korniłowicz
    Partial correctness of a factorial algorithm
    Form. Math. 27 (2019), no. 2, 181-187.
  5. E. Majewska
    Integration Level and the Hierarchical Structure of European Stock Markets in the Years 2004–2017
    Effective Investments on Capital Markets, 10th Capital Market Effective Investments Conference (CMEI 2018), Sept 17-19, Faculty of Economics and Management, University of Szczecin (conf. org.) (W. Tarczyński, K. Nermend Ed(s).), Springer Proceedings in Business and Economics , (publ. by) Springer, 2019, pp. 17-32, (on-line first).
  6. G. Jakimowicz, A. Odzijewicz, A. Sliżewska
    Symmetries of the space of connections on a principal G-bundle and related symplectic structures
    Rev. Math. Phys. (2019), (on-line first).
  7. A. Dobrogowska
    New classes of second order difference equations solvable by factorization method
    Appl. Math. Lett. 98 (2019), 300-305.
  8. A. Stocka
    Finite groups with the pp-embedding property
    Rend. Sem. Mat. Univ. Padova 141 (2019), 107-119.
  9. A. Grabowski
    Building a Framework of Rough Inclusion Functions by Means of Computerized Proof Assistant
    Rough Sets, International Joint Conference, IJCRS 2019, Debrecen, Hungary, June 17-21, 2019, Proceedings, Jul 3-7, (T. Mihálydeák, F. Min, G. Wang, M. Banerjee, I. Düntsch, Z. Suraj, D. Ciucci Ed(s).), Lecture Notes in Artificial Intelligence vol. 11499, (publ. by) Springer, Berlin, 2019, pp. 225-238.
  10. U. Ostaszewska, E. Schmeidel, M. Zdanowicz
    Exponentially stable solution of mathematical model based on graph theory of agents dynamics on time scales
    Adv. Difference Equ. 231 (2019), 1-19.
Remarks related to the above bibliographic data should be directed to: .