Nauka

Ogłoszenia

Brak aktualnych ogłoszeń.Wygasłe ogłoszenia...

Wydarzenia

Brak aktualnych wydarzeń.Minione wydarzenia...

Ostatnio wydane publikacje

  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
Uwagi do prezentowanych tutaj danych bibliograficznych proszę kierować do: libmaster@math.uwb.edu.pl .