Nauka

Ogłoszenia

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

Wydarzenia

Brak aktualnych wydarzeń.Minione wydarzenia...

Seminarium IM

Więcej...

Seminaria zakładowe

Ostatnio wydane publikacje

  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. 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
  3. 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
  4. 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
  5. 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
  6. 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
  7. 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
  8. K. P±k, A. Korniłowicz
    Basel Problem
    Form. Math. 25 (2017), no. 2, 149-155.
    DOI10.1515/forma-2017-0014
  9. A. Korniłowicz, K. P±k
    Basel Problem -- Preliminaries
    Form. Math. 25 (2017), no. 2, 141-147.
    DOI10.1515/forma-2017-0013
  10. A. Korniłowicz, K. P±k
    Vieta's Formula about the Sum of Roots of Polynomials
    Form. Math. 25 (2017), no. 2, 87-92.
    DOI10.1515/forma-2017-0008
Uwagi do prezentowanych tutaj danych bibliograficznych proszę kierować do: libmaster@math.uwb.edu.pl .