Grothendieck Universes
Pąk, Karol
Prime Representing Polynomial
Pąk, Karol
Prime Representing Polynomial with 10 Unknowns – Introduction. Part II
Pąk, Karol
Conway’s Normal Form in the Mizar System
Pąk, Karol
Surreal Numbers: A Study of Square Roots
Pąk, Karol
Surreal Dyadic and Real Numbers: A Formal Construction
Pąk, Karol
Elementary Number Theory Problems. Part XVI
Pąk, Karol
Basic Properties of the Rank of Matrices over a Field
Pąk, Karol
Topological Manifolds
Pąk, Karol
Linear Transformations of Euclidean Topological Spaces. Part II
Pąk, Karol
Bertrand’s Ballot Theorem
Pąk, Karol
Affine Independence in Vector Spaces
Pąk, Karol