Small Inductive Dimension of Topological Spaces
Pąk, Karol
Basic Properties of Determinants of Square Matrices over a Field1
Pąk, Karol
Bertrand’s Ballot Theorem
Pąk, Karol
Topological Manifolds
Pąk, Karol
Linear Map of Matrices
Pąk, Karol
Surreal Numbers: A Study of Square Roots
Pąk, Karol
Formalization of the MRDP Theorem in the Mizar System
Pąk, Karol
Vieta’s Formula about the Sum of Roots of Polynomials
Korniłowicz, Artur, Pąk, Karol