Complete Spaces. - Karol Pak (Formaliz. Math., 2008)

Solutions of Linear Equations. - Karol Pak (Formaliz. Math., 2008)

Block Diagonal Matrices. - Karol Pak (Formaliz. Math., 2008)

Linear Map of Matrices. - Karol Pak (Formaliz. Math., 2008)

Eigenvalues of a Linear Transformation. - Karol Pak (Formaliz. Math., 2008)

Jordan Matrix Decomposition. - Karol Pak (Formaliz. Math., 2008)

Basic Properties of Metrizable Topological Spaces. - Karol Pak (Formaliz. Math., 2009)

Small Inductive Dimension of Topological Spaces. - Karol Pak (Formaliz. Math., 2009)

Small Inductive Dimension of Topological Spaces. Part II. - Karol Pak (Formaliz. Math., 2009)

Affine Independence in Vector Spaces. - Karol Pak (Formaliz. Math., 2010)

Abstract Simplicial Complexes. - Karol Pak (Formaliz. Math., 2010)

The Geometric Interior in Real Linear Spaces. - Karol Pak (Formaliz. Math., 2010)

Sperner's Lemma. - Karol Pak (Formaliz. Math., 2010)

Linear Transformations of Euclidean Topological Spaces. - Karol Pak (Formaliz. Math., 2011)

Linear Transformations of Euclidean Topological Spaces. Part II. - Karol Pak (Formaliz. Math., 2011)

Continuity of Barycentric Coordinates in Euclidean Topological Spaces. - Karol Pak (Formaliz. Math., 2011)

Brouwer Fixed Point Theorem for Simplexes. - Karol Pak (Formaliz. Math., 2011)

Brouwer Fixed Point Theorem in the General Case. - Karol Pak (Formaliz. Math., 2011)

Trust in RDF Graphs. - Dominik Tomaszuk; Karol Pak; Henryk Rybinski (ADBIS (2), 2012)

The Rotation Group. - Karol Pak (Formaliz. Math., 2012)

The Friendship Theorem. - Karol Pak (Formaliz. Math., 2012)

Methods of Lemma Extraction in Natural Deduction Proofs. - Karol Pak (J. Autom. Reason., 2013)

Automated Improving of Proof Legibility in the Mizar System. - Karol Pak (CICM, 2014)

Improving legibility of natural deduction proofs is not trivial. - Karol Pak (Log. Methods Comput. Sci., 2014)

Tietze Extension Theorem for n-dimensional Spaces. - Karol Pak (Formaliz. Math., 2014)

Brouwer Invariance of Domain Theorem. - Karol Pak (Formaliz. Math., 2014)

Bertrand's Ballot Theorem. - Karol Pak (Formaliz. Math., 2014)

Topological Manifolds. - Karol Pak (Formaliz. Math., 2014)

Mizar: State-of-the-art and Beyond. - Grzegorz Bancerek; Czeslaw Bylinski; Adam Grabowski; Artur Kornilowicz; Roman Matuszewski; Adam Naumowicz; Karol Pak; Josef Urban (CICM, 2015)

Readable Formalization of Euler's Partition Theorem in Mizar. - Karol Pak (CICM, 2015)

Flexary Operations. - Karol Pak (Formaliz. Math., 2015)

Euler's Partition Theorem. - Karol Pak (Formaliz. Math., 2015)

Improving Legibility of Formal Proofs Based on the Close Reference Principle is NP-Hard. - Karol Pak (J. Autom. Reason., 2015)

Topological Foundations for a Formal Theory of Manifolds. - Karol Pak (FM4M/MathUI/ThEdu/DP/WIP@CIKM, 2016)

Lemma Extraction Criteria Based on Properties of Theorem Statements. - Karol Pak (FM4M/MathUI/ThEdu/DP/WIP@CIKM, 2016)

The impact of proof steps sequence on proof readability - experimental setting. - Karol Pak; Aleksy Schubert (FM4M/MathUI/ThEdu/DP/WIP@CIKM, 2016)

Towards a mizar environment for isabelle: foundations and language. - Cezary Kaliszyk; Karol Pak; Josef Urban (CPP, 2016)

Leibniz Series for π. - Karol Pak (Formaliz. Math., 2016)

Formalization of Pell's Equations in the Mizar System. - Marcin Acewicz; Karol Pak (FedCSIS, 2017)

Progress in the Independent Certification of Mizar Mathematical Library in Isabelle. - Cezary Kaliszyk; Karol Pak (FedCSIS, 2017)

Isabelle Formalization of Set Theoretic Structures and Set Comprehensions. - Cezary Kaliszyk; Karol Pak (MACIS, 2017)

Presentation and Manipulation of Mizar Properties in an Isabelle Object Logic. - Cezary Kaliszyk; Karol Pak (CICM, 2017)

Pell's Equation. - Marcin Acewicz; Karol Pak (Formaliz. Math., 2017)

Vieta's Formula about the Sum of Roots of Polynomials. - Artur Kornilowicz; Karol Pak (Formaliz. Math., 2017)

Basel Problem - Preliminaries. - Artur Kornilowicz; Karol Pak (Formaliz. Math., 2017)

The Matiyasevich Theorem. Preliminaries. - Karol Pak (Formaliz. Math., 2017)

Basel Problem. - Karol Pak; Artur Kornilowicz (Formaliz. Math., 2017)

Combining the Syntactic and Semantic Representations of Mizar Proofs. - Karol Pak (FedCSIS, 2018)

Mizar Set Comprehension in Isabelle Framework. - Karol Pak (FedCSIS (Communication Papers), 2018)

Isabelle Import Infrastructure for the Mizar Mathematical Library. - Cezary Kaliszyk; Karol Pak (CICM, 2018)

Progress in the Formalization of Matiyasevich's Theorem in the Mizar System. - Karol Pak (CICM Workshops, 2018)

Basic Diophantine Relations. - Marcin Acewicz; Karol Pak (Formaliz. Math., 2018)

Diophantine sets. Preliminaries. - Karol Pak (Formaliz. Math., 2018)

The Role of the Mizar Mathematical Library for Interactive Proof Development in Mizar. - Grzegorz Bancerek; Czeslaw Bylinski; Adam Grabowski; Artur Kornilowicz; Roman Matuszewski; Adam Naumowicz; Karol Pak (J. Autom. Reason., 2018)

Higher-Order Tarski Grothendieck as a Foundation for Formal Proof. - Chad E. Brown; Cezary Kaliszyk; Karol Pak (ITP, 2019)

Declarative Proof Translation (Short Paper). - Cezary Kaliszyk; Karol Pak (ITP, 2019)

A Tale of Two Set Theories. - Chad E. Brown; Karol Pak (CICM, 2019)

AIM Loops and the AIM Conjecture. - Chad E. Brown; Karol Pak (Formaliz. Math., 2019)

Diophantine Sets. Part II. - Karol Pak (Formaliz. Math., 2019)

Formalization of the MRDP Theorem in the Mizar System. - Karol Pak (Formaliz. Math., 2019)

Semantics of Mizar as an Isabelle Object Logic. - Cezary Kaliszyk; Karol Pak (J. Autom. Reason., 2019)

Grothendieck Universes. - Karol Pak (Formaliz. Math., 2020)

Formalization of Prime Representing Polynomial in Mizar (short paper). - Karol Pak (CICM Workshops, 2021)

Prime Representing Polynomial. - Karol Pak (Formaliz. Math., 2021)

Formalizing a Diophantine Representation of the Set of Prime Numbers. - Karol Pak; Cezary Kaliszyk (ITP, 2022)

Prime Representing Polynomial with 10 Unknowns - Introduction. - Karol Pak (Formaliz. Math., 2022)

Prime Representing Polynomial with 10 Unknowns - Introduction. Part II. - Karol Pak (Formaliz. Math., 2022)

Prime Representing Polynomial with 10 Unknowns. - Karol Pak (Formaliz. Math., 2022)

Combining Higher-Order Logic with Set Theory Formalizations. - Cezary Kaliszyk; Karol Pak (J. Autom. Reason., 2023)

Conway Numbers - Formal Introduction. - Karol Pak (Formaliz. Math., 2023)

Integration of Game Theoretic and Tree Theoretic Approaches to Conway Numbers. - Karol Pak (Formaliz. Math., 2023)

The Ring of Conway Numbers in Mizar. - Karol Pak (Formaliz. Math., 2023)

Conway Normal Form: Bridging Approaches for Comprehensive Formalization of Surreal Numbers. - Karol Pak; Cezary Kaliszyk (ITP, 2024)

Inverse Element for Surreal Number. - Karol Pak (Formaliz. Math., 2024)

Elementary Number Theory Problems. Part XVI. - Karol Pak (Formaliz. Math., 2024)

Elementary Number Theory Problems. Part XV - Diophantine Equations. - Karol Pak; Artur Kornilowicz (Formaliz. Math., 2024)