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