Basel Problem
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
Prime Representing Polynomial with 10 Unknowns
Pąk, Karol
Prime Representing Polynomial with 10 Unknowns – Introduction. Part II
Pąk, Karol
Small Inductive Dimension of Topological Spaces. Part II
Pąk, Karol
Pell’s Equation
Acewicz, Marcin, Pąk, Karol
Block Diagonal Matrices
Pąk, Karol