Laplace Expansion
Pak, Karol, Trybulec, Andrzej
Linear Transformations of Euclidean Topological Spaces
Pąk, Karol
Elementary Number Theory Problems. Part XV – Diophantine Equations
Pąk, Karol, Korniłowicz, Artur
Conway Numbers – Formal Introduction
Pąk, Karol
The Friendship Theorem
Pąk, Karol
Basel Problem – Preliminaries
Korniłowicz, Artur, Pąk, Karol
Block Diagonal Matrices
Pąk, Karol
Affine Independence in Vector Spaces
Pąk, Karol
Leibniz Series for π
Pąk, Karol
Grothendieck Universes
Pąk, Karol
Conway’s Normal Form in the Mizar System
Pąk, Karol
The Rotation Group
Pąk, Karol