Nauka

Ogłoszenia

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

Wydarzenia

Brak aktualnych wydarzeń.Minione wydarzenia...

Seminarium IM

Więcej...

Ostatnio wydane publikacje

  1. E. Zieniuk, D. Sawicki
    Modification of the classical boundary integral equation (BIE) for 2D transient heat conduction with internal heat source, with the use of NURBS for boundary modeling
    Journal of Heat Transfer (2017), (on-line first).
    DOI10.1115/1.4036099
  2. M. Bodner, J. Patera, M. Szajewska
    Decomposition matrices for the special case of data on the triangular lattice of G(2)
    Appl. Comput. Harmon. Anal. (2017), (on-line first).
    DOIdoi.org/10.1016/j.acha.2017.02.003
  3. K. Petelczyc, M. Żynel
    Affinization of Segre products of partial linear spaces
    Bull. Iranian Math. Soc. (2017), (on-line first).
  4. K. Zajkowski
    A variational formula on the Cramér function of series of independent random variables
    Positivity 21 (2017), no. 1, 273-282, (published on line in 2016).
    DOI10.1007/s11117-016-0419-z
  5. K. Petelczyc
    On some generalization of the Möbius configuration
    Ars Mathem. Contemp. 13 (2017), no. 1, 107-123.
  6. K. P±k, A. Schubert
    The Impact of Proof Steps Sequence on Proof Readability - Experimental Setting
    Proceedings of the FM4M, MathUI, and ThEdu Workshops, Doctoral Program, and Work in Progress at the Conference on Intelligent Co, 9th Conference on Intelligent Computer Mathematics (CICM 2016), Jul 25-29, Wydział Matematyki i Informatyki Uniwersytetu w Białymstoku (conf. org.) (M. Kohlhase, A. Kohlhase, P. Libbrecht, B. Miller, A. Naumowicz, W. Neuper, P. Quaresma, F. Tompa, M. Suda et al. Ed(s).), CEUR Workshop Proceedings vol. 1785, (publ. by)  RWTH Aachen University, 2017, pp. 172-186.
  7. K. P±k
    Lemma Extraction Criteria Based on Properties of Theorem Statements
    Proceedings of the FM4M, MathUI, and ThEdu Workshops, Doctoral Program, and Work in Progress at the Conference on Intelligent Co, 9th Conference on Intelligent Computer Mathematics (CICM 2016), Jul 25-29, Wydział Matematyki i Informatyki Uniwersytetu w Białymstoku (conf. org.) (M. Kohlhase, A. Kohlhase, P. Libbrecht, B. Miller, A. Naumowicz, W. Neuper, P. Quaresma, F. Tompa, M. Suda et al. Ed(s).), CEUR Workshop Proceedings vol. 1785, (publ. by)  RWTH Aachen University, 2017, pp. 158-171.
  8. A. Naumowicz
    Linking to Compound Conditions in Mizar
    Proceedings of the FM4M, MathUI, and ThEdu Workshops, Doctoral Program, and Work in Progress at the Conference on Intelligent Co, 9th Conference on Intelligent Computer Mathematics (CICM 2016), Jul 25-29, Wydział Matematyki i Informatyki Uniwersytetu w Białymstoku (conf. org.) (M. Kohlhase, A. Kohlhase, P. Libbrecht, B. Miller, A. Naumowicz, W. Neuper, P. Quaresma, F. Tompa, M. Suda et al. Ed(s).), CEUR Workshop Proceedings vol. 1785, (publ. by)  RWTH Aachen University, 2017, pp. 21-24.
  9. K. P±k
    Topological Foundations for a Formal Theory of Manifolds
    Proceedings of the FM4M, MathUI, and ThEdu Workshops, Doctoral Program, and Work in Progress at the Conference on Intelligent Co, 9th Conference on Intelligent Computer Mathematics (CICM 2016), Jul 25-29, Wydział Matematyki i Informatyki Uniwersytetu w Białymstoku (conf. org.) (M. Kohlhase, A. Kohlhase, P. Libbrecht, B. Miller, A. Naumowicz, W. Neuper, P. Quaresma, F. Tompa, M. Suda et al. Ed(s).), CEUR Workshop Proceedings vol. 1785, (publ. by)  RWTH Aachen University, 2017, pp. 14-16.
  10. A. Korniłowicz
    Registrations vs Redefinitions in Mizar
    Proceedings of the FM4M, MathUI, and ThEdu Workshops, Doctoral Program, and Work in Progress at the Conference on Intelligent Co, 9th Conference on Intelligent Computer Mathematics (CICM 2016), Jul 25-29, Wydział Matematyki i Informatyki Uniwersytetu w Białymstoku (conf. org.) (M. Kohlhase, A. Kohlhase, P. Libbrecht, B. Miller, A. Naumowicz, W. Neuper, P. Quaresma, F. Tompa, M. Suda et al. Ed(s).), CEUR Workshop Proceedings vol. 1785, (publ. by)  RWTH Aachen University, 2017, pp. 17-20.
Uwagi do prezentowanych tutaj danych bibliograficznych proszę kierować do: libmaster@math.uwb.edu.pl .