Research

Recently published

  1. A. Jaszczak
    Formal verification of the correctness of chosen algorithms in Mizar
    12th Intelligent Computer Mathematics (CICM 2019), Jul 8-12, Czech Institute of Informatics, Robotics, and Cybernetics (CIIRC) of Czech Technical University in Prague (CTU) (conf. org.), CEUR Workshop Proceedings , (publ. by) RWTH Aachen University, Jul 2020, pp. 1 - 5.
  2. K. Prażmowski, M. Żynel
    Metric structures imposed on Grassmannians
    Beitr. Algebra Geom. 61 (2020), 507-513, (published on-line in 2019).
    DOI10.1007/s13366-019-00480-9
  3. M. S. Uba, A. Bonda, L. Uba, L. V. Bekenov, V. N. Antonov
    First principles calculations of intersite disorder influence on the electronic structure and X-ray magnetic circular dichroism in CoFeMnSi Heusler alloy
    Int. J. Mod. Phys. C (2020), (on-line first).
    DOI10.1142/S0129183120501090
  4. A. Naumowicz
    Testing Mizar User Interactivity in a University-level Introductory Course on Foundations of Mathematics
    12th Intelligent Computer Mathematics (CICM 2019), Jul 8-12, Czech Institute of Informatics, Robotics, and Cybernetics (CIIRC) of Czech Technical University in Prague (CTU) (conf. org.), CEUR Workshop Proceedings , (publ. by) RWTH Aachen University, Jul 2020, pp. 1-5.
  5. A. Korniłowicz
    Sethood Property in Mizar
    12th Intelligent Computer Mathematics (CICM 2019), Jul 8-12, Czech Institute of Informatics, Robotics, and Cybernetics (CIIRC) of Czech Technical University in Prague (CTU) (conf. org.), CEUR Workshop Proceedings , (publ. by) RWTH Aachen University, Jul 2020, pp. 1-5.
  6. M. Adamski, M. Gruszewski, A. Klimowicz, M. Omieljanowicz, G. Rubin, M. Rybnik, K. Saeed, M. Szymkowski, M. Tabędzki, A. Łupińska-Dubicka
    In-car eCall Device for Automatic Accident Detection, Passengers Counting and Alarming
    Transactions on Computational Science (Gavrilova, Marina L., Tan, CJ Kenneth Ed(s).), Lecture Notes in Computer Science , Springer, Feb 2020, pp. 36-57.
    DOIhttps://doi.org/10.1007/978-3-662-61092-3_3
  7. D. Tomaszuk, R. Angles, H. Thakkar
    PGO: Describing Property Graphs in RDF
    IEEE Access 8 (2020), 118355-118369.
    DOI10.1109/ACCESS.2020.3002018
  8. R. Andruszkiewicz, N. Andruszkiewicz
    Elementary Proof of Nagell's Theorem
    Azerb. J. Math. 10 (2020), no. 2, 62-70.
  9. K. Petelczyc, K. Prażmowski, M. Żynel
    Geometry on the lines of polar spine spaces
    Aequationes Math. (2020), (on-line first).
    DOI10.1007/s00010-020-00733-2
  10. A. Polewko-Klim, W. Rudnicki
    Analysis of ensemble feature selection for correlated high-dimensional RNA-Seq cancer data
    International Conference on Computational Science 2020 – ICCS 2020, June 03-05, Proceedings, International Conference on Computational Science 2020, 3-5 June, 2020, Lecture Notes in Computer Science (LNCS) , Jun 2020, pp. 525-538.
    DOI10.1007/978-3-030-50420-5_39
Remarks related to the above bibliographic data should be directed to: libmaster@math.uwb.edu.pl .