Conway’s Normal Form in the Mizar System
Pąk, Karol
Vieta’s Formula about the Sum of Roots of Polynomials
Korniłowicz, Artur, Pąk, Karol
Surreal Dyadic and Real Numbers: A Formal Construction
Pąk, Karol
Small Inductive Dimension of Topological Spaces
Pąk, Karol
Conway Numbers – Formal Introduction
Pąk, Karol
Elementary Number Theory Problems. Part XVI
Pąk, Karol
The Ring of Conway Numbers in Mizar
Pąk, Karol
Brouwer Invariance of Domain Theorem
Pąk, Karol