Brouwer Invariance of Domain Theorem
Pąk, Karol
Affine Independence in Vector Spaces
Pąk, Karol
Vieta’s Formula about the Sum of Roots of Polynomials
Korniłowicz, Artur, Pąk, Karol
Surreal Numbers: A Study of Square Roots
Pąk, Karol
Conway’s Normal Form in the Mizar System
Pąk, Karol
Surreal Dyadic and Real Numbers: A Formal Construction
Pąk, Karol
Basel Problem
Pąk, Karol, Korniłowicz, Artur
Inverse Element for Surreal Number
Pąk, Karol
Elementary Number Theory Problems. Part XV – Diophantine Equations
Pąk, Karol, Korniłowicz, Artur
Pell’s Equation
Acewicz, Marcin, Pąk, Karol
The Ring of Conway Numbers in Mizar
Pąk, Karol
Complete Spaces
Pąk, Karol