dr Karol P±k

Publikacje

  1. K. P±k
    Elementary Number Theory Problems. Part XVI
    Form. Math. 32 (2024), no. 1, 203-212.
    DOI: 10.2478/forma-2024-0017
  2. K. P±k
    Inverse Element for Surreal Number
    Form. Math. 32 (2024), no. 1, 65-75.
    DOI: 10.2478/forma-2024-0005
  3. K. P±k, C. Kaliszyk
    Conway Normal Form: Bridging Approaches for Comprehensive Formalization of Surreal Numbers
    15th International Conference on Interactive Theorem Proving, (Y. Bertot , T. Kutsia, M. Norrish Ed(s).), LIPIcs vol. 309, (publ. by) Schloss Dagstuhl Leibniz-Zentrum fuer Informatik, 2024, pp. 1-18.
    DOI: 10.4230/LIPIcs.ITP.2024.29
  4. K. P±k, A. Korniłowicz
    Elementary Number Theory Problems. Part XV – Diophantine Equations
    Form. Math. 32 (2024), no. 1, 93-110.
    DOI: 10.2478/forma-2024-0007
Uwagi do prezentowanych tutaj danych bibliograficznych proszę kierować do: libmaster@math.uwb.edu.pl .