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 XV – Diophantine Equations
Pąk, Karol, Korniłowicz, Artur
Elementary Number Theory Problems. Part XVI
Pąk, Karol
Topological Manifolds
Pąk, Karol
Surreal Numbers: A Study of Square Roots
Pąk, Karol
Elementary Number Theory Problems. Part XIX
Pąk, Karol
Prime Representing Polynomial with 10 Unknowns
Pąk, Karol
Bertrand’s Ballot Theorem
Pąk, Karol
Basel Problem – Preliminaries
Korniłowicz, Artur, Pąk, Karol
Vieta’s Formula about the Sum of Roots of Polynomials
Korniłowicz, Artur, Pąk, Karol
Tietze Extension Theorem for n-dimensional Spaces
Pąk, Karol