dr Karol P±k
Publikacje
-
K. P±k
Elementary Number Theory Problems. Part XVI
Form. Math. 32 (2024), no. 1, 203-212.
DOI: 10.2478/forma-2024-0017 -
K. P±k
Inverse Element for Surreal Number
Form. Math. 32 (2024), no. 1, 65-75.
DOI: 10.2478/forma-2024-0005 -
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 -
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
.