Linear Transformations of Euclidean Topological Spaces. Part II
Pąk, Karol
Basic Properties of Determinants of Square Matrices over a Field1
Pąk, Karol
Prime Representing Polynomial with 10 Unknowns – Introduction. Part II
Pąk, Karol
Grothendieck Universes
Pąk, Karol
Euler’s Partition Theorem
Pąk, Karol
Tietze Extension Theorem for n-dimensional Spaces
Pąk, Karol
Leibniz Series for π
Pąk, Karol
The Geometric Interior in Real Linear Spaces
Pąk, Karol
AIM Loops and the AIM Conjecture
Brown, Chad E., Pąk, Karol
Prime Representing Polynomial with 10 Unknowns – Introduction
Pąk, Karol
Formalization of the MRDP Theorem in the Mizar System
Pąk, Karol
Basic Diophantine Relations
Acewicz, Marcin, Pąk, Karol