The Rotation Group
Pąk, Karol
Inverse Element for Surreal Number
Pąk, Karol
Tietze Extension Theorem for n-dimensional Spaces
Pąk, Karol
Brouwer Invariance of Domain Theorem
Pąk, Karol
Surreal Numbers: A Study of Square Roots
Pąk, Karol
Conway’s Normal Form in the Mizar System
Pąk, Karol
Basic Diophantine Relations
Acewicz, Marcin, Pąk, Karol
Surreal Dyadic and Real Numbers: A Formal Construction
Pąk, Karol