Basic Properties of the Rank of Matrices over a Field
Pąk, Karol
Continuity of Barycentric Coordinates in Euclidean Topological Spaces
Pąk, Karol
Brouwer Fixed Point Theorem for Simplexes
Pąk, Karol
Diophantine sets. Preliminaries
Pąk, Karol
Surreal Numbers: A Study of Square Roots
Pąk, Karol
Conway’s Normal Form in the Mizar System
Pąk, Karol
The Rotation Group
Pąk, Karol
Surreal Dyadic and Real Numbers: A Formal Construction
Pąk, Karol