Research

Recently published

  1. K. P±k
    Formalization of the MRDP Theorem in theMizar System
    Form. Math. 27 (2019), no. 2, 209-221.
    DOI10.2478/forma-2019-0020
  2. K. P±k
    Diophantine Sets. Part II
    Form. Math. 27 (2019), no. 2, 197-208.
    DOI10.2478/forma-2019-0019
  3. A. Jaszczak
    Partial correctness of a power algorithm
    Form. Math. 27 (2019), no. 2, 189-195.
    DOI10.2478/forma-2019-0018
  4. A. Jaszczak, A. Korniłowicz
    Partial correctness of a factorial algorithm
    Form. Math. 27 (2019), no. 2, 181-187.
    DOI10.2478/forma-2019-0017
  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).
    DOI10.1007/978-3-030-21274-2_2
  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).
    DOI10.1142/S0129055X19500399
  7. A. Dobrogowska
    New classes of second order difference equations solvable by factorization method
    Appl. Math. Lett. 98 (2019), 300-305.
    DOI10.1016/j.aml.2019.06.026
  8. A. Stocka
    Finite groups with the pp-embedding property
    Rend. Sem. Mat. Univ. Padova 141 (2019), 107-119.
    DOI10.4171/RSMUP/16
  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.
    DOI10.1007/978-3-030-22815-6_18
  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.
    DOI10.1186/s13662-019-2159-4
Remarks related to the above bibliographic data should be directed to: libmaster@math.uwb.edu.pl .