Karol Pak

Publication Activity (10 Years)

Years Active: 2008-2023
Publications (10 Years): 43

Top Topics

Semantic Representations

Natural Deduction

Computer Assisted

Top Venues

Formaliz. Math.

J. Autom. Reason.

Publications

Cezary Kaliszyk, Karol Pak
Combining Higher-Order Logic with Set Theory Formalizations. J. Autom. Reason. 67 (2) (2023)
Karol Pak, Cezary Kaliszyk
Formalizing a Diophantine Representation of the Set of Prime Numbers. ITP (2022)
Karol Pak
Prime Representing Polynomial with 10 Unknowns. Formaliz. Math. 30 (4) (2022)
Karol Pak, Cezary Kaliszyk
Formalizing a Diophantine Representation of the Set of Prime Numbers. CoRR (2022)
Karol Pak
Prime Representing Polynomial with 10 Unknowns - Introduction. Formaliz. Math. 30 (3) (2022)
Karol Pak
Prime Representing Polynomial with 10 Unknowns - Introduction. Part II. Formaliz. Math. 30 (4) (2022)
Karol Pak
Formalization of Prime Representing Polynomial in Mizar (short paper). CICM Workshops (2021)
Karol Pak
Prime Representing Polynomial. Formaliz. Math. 29 (4) (2021)
Karol Pak
Grothendieck Universes. Formaliz. Math. 28 (2) (2020)
Chad E. Brown, Karol Pak
AIM Loops and the AIM Conjecture. Formaliz. Math. 27 (4) (2019)
Cezary Kaliszyk, Karol Pak
Semantics of Mizar as an Isabelle Object Logic. J. Autom. Reason. 63 (3) (2019)
Chad E. Brown, Karol Pak
A Tale of Two Set Theories. CoRR (2019)
Karol Pak
Diophantine Sets. Part II. Formaliz. Math. 27 (2) (2019)
Chad E. Brown, Cezary Kaliszyk, Karol Pak
Higher-Order Tarski Grothendieck as a Foundation for Formal Proof. ITP (2019)
Karol Pak
Formalization of the MRDP Theorem in the Mizar System. Formaliz. Math. 27 (2) (2019)
Cezary Kaliszyk, Karol Pak
Declarative Proof Translation (Short Paper). ITP (2019)
Chad E. Brown, Karol Pak
A Tale of Two Set Theories. CICM (2019)
Grzegorz Bancerek, Czeslaw Bylinski, Adam Grabowski, Artur Kornilowicz, Roman Matuszewski, Adam Naumowicz, Karol Pak
The Role of the Mizar Mathematical Library for Interactive Proof Development in Mizar. J. Autom. Reason. 61 (1-4) (2018)
Marcin Acewicz, Karol Pak
Basic Diophantine Relations. Formaliz. Math. 26 (2) (2018)
Karol Pak
Progress in the Formalization of Matiyasevich's Theorem in the Mizar System. CICM Workshops (2018)
Cezary Kaliszyk, Karol Pak
Isabelle Import Infrastructure for the Mizar Mathematical Library. CICM (2018)
Karol Pak
Mizar Set Comprehension in Isabelle Framework. FedCSIS (Communication Papers) (2018)
Karol Pak
Combining the Syntactic and Semantic Representations of Mizar Proofs. FedCSIS (2018)
Karol Pak
Diophantine sets. Preliminaries. Formaliz. Math. 26 (1) (2018)
Cezary Kaliszyk, Karol Pak
Isabelle Formalization of Set Theoretic Structures and Set Comprehensions. MACIS (2017)
Karol Pak, Artur Kornilowicz
Basel Problem. Formaliz. Math. 25 (2) (2017)
Marcin Acewicz, Karol Pak
Formalization of Pell's Equations in the Mizar System. FedCSIS (2017)
Marcin Acewicz, Karol Pak
Pell's Equation. Formaliz. Math. 25 (3) (2017)
Artur Kornilowicz, Karol Pak
Vieta's Formula about the Sum of Roots of Polynomials. Formaliz. Math. 25 (2) (2017)
Karol Pak
The Matiyasevich Theorem. Preliminaries. Formaliz. Math. 25 (4) (2017)
Cezary Kaliszyk, Karol Pak
Progress in the Independent Certification of Mizar Mathematical Library in Isabelle. FedCSIS (2017)
Cezary Kaliszyk, Karol Pak
Presentation and Manipulation of Mizar Properties in an Isabelle Object Logic. CICM (2017)
Artur Kornilowicz, Karol Pak
Basel Problem - Preliminaries. Formaliz. Math. 25 (2) (2017)
Karol Pak
Lemma Extraction Criteria Based on Properties of Theorem Statements. FM4M/MathUI/ThEdu/DP/WIP@CIKM (2016)
Karol Pak
Topological Foundations for a Formal Theory of Manifolds. FM4M/MathUI/ThEdu/DP/WIP@CIKM (2016)
Karol Pak, Aleksy Schubert
The impact of proof steps sequence on proof readability - experimental setting. FM4M/MathUI/ThEdu/DP/WIP@CIKM (2016)
Karol Pak
Leibniz Series for π. Formaliz. Math. 24 (4) (2016)
Cezary Kaliszyk, Karol Pak, Josef Urban
Towards a mizar environment for isabelle: foundations and language. CPP (2016)
Karol Pak
Flexary Operations. Formaliz. Math. 23 (2) (2015)
Karol Pak
Improving Legibility of Formal Proofs Based on the Close Reference Principle is NP-Hard. J. Autom. Reason. 55 (3) (2015)
Karol Pak
Euler's Partition Theorem. Formaliz. Math. 23 (2) (2015)
Grzegorz Bancerek, Czeslaw Bylinski, Adam Grabowski, Artur Kornilowicz, Roman Matuszewski, Adam Naumowicz, Karol Pak, Josef Urban
Mizar: State-of-the-art and Beyond. CICM (2015)
Karol Pak
Readable Formalization of Euler's Partition Theorem in Mizar. CICM (2015)
Karol Pak
Brouwer Invariance of Domain Theorem. Formaliz. Math. 22 (1) (2014)
Karol Pak
Tietze Extension Theorem for n-dimensional Spaces. Formaliz. Math. 22 (1) (2014)
Karol Pak
Automated Improving of Proof Legibility in the Mizar System. CICM (2014)
Karol Pak
Bertrand's Ballot Theorem. Formaliz. Math. 22 (2) (2014)
Karol Pak
Improving legibility of natural deduction proofs is not trivial. Log. Methods Comput. Sci. 10 (3) (2014)
Karol Pak
Topological Manifolds. Formaliz. Math. 22 (2) (2014)
Karol Pak
Methods of Lemma Extraction in Natural Deduction Proofs. J. Autom. Reason. 50 (2) (2013)
Dominik Tomaszuk, Karol Pak, Henryk Rybinski
Trust in RDF Graphs. ADBIS (2) (2012)
Karol Pak
The Friendship Theorem. Formaliz. Math. 20 (3) (2012)
Karol Pak
The Rotation Group. Formaliz. Math. 20 (1) (2012)
Karol Pak
Brouwer Fixed Point Theorem in the General Case. Formaliz. Math. 19 (3) (2011)
Karol Pak
Linear Transformations of Euclidean Topological Spaces. Formaliz. Math. 19 (2) (2011)
Karol Pak
Brouwer Fixed Point Theorem for Simplexes. Formaliz. Math. 19 (3) (2011)
Karol Pak
Continuity of Barycentric Coordinates in Euclidean Topological Spaces. Formaliz. Math. 19 (3) (2011)
Karol Pak
Linear Transformations of Euclidean Topological Spaces. Part II. Formaliz. Math. 19 (2) (2011)
Karol Pak
Sperner's Lemma. Formaliz. Math. 18 (1-4) (2010)
Karol Pak
The Geometric Interior in Real Linear Spaces. Formaliz. Math. 18 (1-4) (2010)
Karol Pak
Affine Independence in Vector Spaces. Formaliz. Math. 18 (1-4) (2010)
Karol Pak
Abstract Simplicial Complexes. Formaliz. Math. 18 (1-4) (2010)
Karol Pak
Basic Properties of Metrizable Topological Spaces. Formaliz. Math. 17 (1-4) (2009)
Karol Pak
Small Inductive Dimension of Topological Spaces. Formaliz. Math. 17 (1-4) (2009)
Karol Pak
Small Inductive Dimension of Topological Spaces. Part II. Formaliz. Math. 17 (1-4) (2009)
Karol Pak
Complete Spaces. Formaliz. Math. 16 (1-4) (2008)
Karol Pak
Jordan Matrix Decomposition. Formaliz. Math. 16 (1-4) (2008)
Karol Pak
Linear Map of Matrices. Formaliz. Math. 16 (1-4) (2008)
Karol Pak
Block Diagonal Matrices. Formaliz. Math. 16 (1-4) (2008)
Karol Pak
Solutions of Linear Equations. Formaliz. Math. 16 (1-4) (2008)
Karol Pak
Eigenvalues of a Linear Transformation. Formaliz. Math. 16 (1-4) (2008)