Research

Seminar of the Institute

  • Some invariants of finite groups
    dr Agnieszka Stocka
    ul. K. Ciołkowskiego 1M, sala 2048, 2017-10-25 godz. 14:15
More...

Department seminars

Recently published

  1. A. Grabowski, M. Takashi
    Extending Formal Fuzzy Sets with Triangular Norms and Conorms
    Advances in Fuzzy Logic and Technology 2017, Proceedings of: EUSFLAT- 2017. The 10th Conference of the European Society for Fuzzy Logic and Technology, September 11-15, 201, Sep 11-15, Systems Research Institute of the Polish Academy of Sciences (conf. org.) (J. Kacprzyk, E. Szmidt, S. Zadrożny, K.T. Atanassov, M. Krawczak Ed(s).), Advances in Intelligent Systems and Computing vol. 2, (publ. by) Springer V., 2018, pp. 176-187.
    DOI10.1007/978-3-319-66824-6_16
  2. A. Odzijewicz, G. Jakimowicz, A. Sliżewska
    Fibre-wise linear Poisson structures related to W*-algebras
    J. Geom. Phys. (2017), (on-line first).
    DOI10.1016/j.geomphys.2017.09.012
  3. T. Brzeziński, Ch. Lomp
    Differential smoothness of skew polynomial rings
    J. Pure Appl. Algebra (2017), (on-line first).
    DOI10.1016/j.jpaa.2017.09.020
  4. M. Acewicz, K. P±k
    Formalization of Pell`s Equations in the Mizar System
    Proceedings of the 2017 Federated Conference on Computer Science and Information Systems (FedCSIS), Sep 3-6, Polish Information Processing Society, IBS PAN,Wrocław University of Technology, ETI (conf. org.) (M. Ganzha, L. Maciaszek, M. Paprzycki Ed(s).), Annals of Computer Science and Information Systems vol. 11, (publ. by) PTI: Polish Information Processing Society, 2017, pp. 223-226.
    DOI10.15439/2017F314
  5. C. Kaliszyk, K. P±k
    Progress in the Independent Certification of Mizar Mathematical Library in Isabelle
    Proceedings of the 2017 Federated Conference on Computer Science and Information Systems (FedCSIS), Sep 3-6, Polish Information Processing Society, IBS PAN,Wrocław University of Technology, ETI (conf. org.) (M. Ganzha, L. Maciaszek, M. Paprzycki Ed(s).), Annals of Computer Science and Information Systems vol. 11, (publ. by) PTI: Polish Information Processing Society, 2017, pp. 227-236.
    DOI10.15439/2017F289
  6. A. Naumowicz, A. Korniłowicz
    Introducing Euclidean Relations to Mizar
    Proceedings of the 2017 Federated Conference on Computer Science and Information Systems (FedCSIS), Sep 3-6, Polish Information Processing Society, IBS PAN,Wrocław University of Technology, ETI (conf. org.) (M. Ganzha, L. Maciaszek, M. Paprzycki Ed(s).), Annals of Computer Science and Information Systems vol. 11, (publ. by) PTI: Polish Information Processing Society, 2017, pp. 245-248.
    DOI10.15439/2017F368
  7. M. Bolesta, E. Brzosko, A. Gromotowicz, M. Gromotowicz, J. Kotowicz, A. Orzechowska, J. Orzołek, B. Ostrowiecka, M. Wojdalska
    Seed dispersal in six species of terrestrial orchids in Biebrza National Park (NE Poland)
    Acta Societatis Botanicorum Poloniae 86 (2017), no. 3, 1-14.
    DOI10.5586/asbp.3557
  8. A. Korniłowicz, A. Kryvolap, M. Nikitchenko, I. Ivanov
    Formalization of the Algebra of Nominative Data in Mizar
    Proceedings of the 2017 Federated Conference on Computer Science and Information Systems (FedCSIS), Sep 3-6, Polish Information Processing Society, IBS PAN,Wrocław University of Technology, ETI (conf. org.) (M. Ganzha, L. Maciaszek, M. Paprzycki Ed(s).), Annals of Computer Science and Information Systems vol. 11, (publ. by) PTI: Polish Information Processing Society, 2017, pp. 237-244.
    DOI10.15439/2017F301
  9. K. P±k, A. Korniłowicz
    Basel Problem
    Form. Math. 25 (2017), no. 2, 149-155.
    DOI10.1515/forma-2017-0014
  10. A. Korniłowicz, K. P±k
    Basel Problem -- Preliminaries
    Form. Math. 25 (2017), no. 2, 141-147.
    DOI10.1515/forma-2017-0013
Remarks related to the above bibliographic data should be directed to: libmaster@math.uwb.edu.pl .