The Ring of Conway Numbers in Mizar
Pąk, Karol
Integration of Game Theoretic and Tree Theoretic Approaches to Conway Numbers
Pąk, Karol
Elementary Number Theory Problems. Part XV – Diophantine Equations
Pąk, Karol, Korniłowicz, Artur
Conway’s Normal Form in the Mizar System
Pąk, Karol
Surreal Dyadic and Real Numbers: A Formal Construction
Pąk, Karol
Elementary Number Theory Problems. Part XVI
Pąk, Karol
Sperner's Lemma
Pąk, Karol
Inverse Element for Surreal Number
Pąk, Karol