Nauka

Ogłoszenia

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

Wydarzenia

Brak aktualnych wydarzeń.Minione wydarzenia...

Ostatnio wydane publikacje

  1. K. Zajkowski
    Bounds on tail probabilities for quadratic forms in dependent sub-gaussian random variables
    Statistics & Probability Letters 167 (2020), 1-7, (Available online 11 August 2020, Article 108898).
    DOI10.1016/j.spl.2020.108898
  2. R. Andruszkiewicz
    Surprise at Adjoining an Identity to an Algebra
    Vietnam Journal of Mathematics (2020), (on-line first, Published: 09 September 2020).
    DOI10.1007/s10013-020-00437-9
  3. A. Odzijewicz, E. Wawreniuk
    An integrable (classical and quantum) four-wave mixing Hamiltonian system
    J. Math. Phys. 61 (2020), no. 7, 1-18, ( Published Online: 01 July 2020, article no: 073503).
    DOI10.1063/5.0006887
  4. K. Petelczyc, K. Prażmowski, M. Żynel
    Geometry on the lines of polar spine spaces
    Aequationes Math. 94 (2020), no. 5, 829-846, ( Published: 27 June 2020).
    DOI10.1007/s00010-020-00733-2
  5. A. Grabowski
    Constructing Examples of Fuzzy Implications within the Mizar Mathematical Library
    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. 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.
  7. K. Prażmowski, M. Żynel
    Metric structures imposed on Grassmannians
    Beitr. Algebra Geom. 61 (2020), no. 3, 507-513, (published on-line in 2019).
    DOI10.1007/s13366-019-00480-9
  8. 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
  9. 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.
  10. 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.
Uwagi do prezentowanych tutaj danych bibliograficznych proszę kierować do: libmaster@math.uwb.edu.pl .