Brouwer Invariance of Domain Theorem
Pąk, Karol
Bertrand’s Ballot Theorem
Pąk, Karol
Flexary Operations
Pąk, Karol
Leibniz Series for π
Pąk, Karol
Basel Problem – Preliminaries
Korniłowicz, Artur, Pąk, Karol
Basic Diophantine Relations
Acewicz, Marcin, Pąk, Karol
Grothendieck Universes
Pąk, Karol
Prime Representing Polynomial
Pąk, Karol
Conway Numbers – Formal Introduction
Pąk, Karol
The Ring of Conway Numbers in Mizar
Pąk, Karol
Integration of Game Theoretic and Tree Theoretic Approaches to Conway Numbers
Pąk, Karol
Sperner's Lemma
Pąk, Karol