Block Diagonal Matrices
Pąk, Karol
Pell’s Equation
Acewicz, Marcin, Pąk, Karol
Basic Properties of the Rank of Matrices over a Field
Pąk, Karol
Grothendieck Universes
Pąk, Karol
Prime Representing Polynomial with 10 Unknowns – Introduction. Part II
Pąk, Karol
Sperner's Lemma
Pąk, Karol
Formalization of the MRDP Theorem in the Mizar System
Pąk, Karol
Brouwer Fixed Point Theorem in the General Case
Pąk, Karol