default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDKarol Pak
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[c22]Karol Pak, Cezary Kaliszyk:
Conway Normal Form: Bridging Approaches for Comprehensive Formalization of Surreal Numbers. ITP 2024: 29:1-29:18- [i3]Karol Pak, Cezary Kaliszyk:
Conway Normal Form: Bridging Approaches for Comprehensive Formalization of Surreal Numbers. CoRR abs/2410.00065 (2024) - 2023
- [j48]Cezary Kaliszyk
, Karol Pak:
Combining Higher-Order Logic with Set Theory Formalizations. J. Autom. Reason. 67(2): 20 (2023) - 2022
- [j47]Karol Pak:
Prime Representing Polynomial with 10 Unknowns - Introduction. Formaliz. Math. 30(3): 169-198 (2022) - [j46]Karol Pak:
Prime Representing Polynomial with 10 Unknowns - Introduction. Part II. Formaliz. Math. 30(4): 245-253 (2022) - [j45]Karol Pak:
Prime Representing Polynomial with 10 Unknowns. Formaliz. Math. 30(4): 255-279 (2022) - [c21]Karol Pak, Cezary Kaliszyk:
Formalizing a Diophantine Representation of the Set of Prime Numbers. ITP 2022: 26:1-26:8 - [i2]Karol Pak, Cezary Kaliszyk:
Formalizing a Diophantine Representation of the Set of Prime Numbers. CoRR abs/2204.12311 (2022) - 2021
- [j44]Karol Pak:
Prime Representing Polynomial. Formaliz. Math. 29(4): 221-228 (2021) - [c20]Karol Pak:
Formalization of Prime Representing Polynomial in Mizar (short paper). CICM Workshops 2021 - 2020
- [j43]Karol Pak:
Grothendieck Universes. Formaliz. Math. 28(2): 211-215 (2020) - [e1]Edwin C. Brady, James H. Davenport, William M. Farmer, Cezary Kaliszyk, Andrea Kohlhase, Michael Kohlhase, Dennis Müller, Karol Pak, Claudio Sacerdoti Coen:
Joint Proceedings of the FMM and LML Workshops, Doctoral Program and Work in Progress at the Conference on Intelligent Computer Mathematics 2019 co-located with the 12th Conference on Intelligent Computer Mathematics (CICM 2019), Prague, Czech Republic, July 8-12, 2019. CEUR Workshop Proceedings 2634, CEUR-WS.org 2020 [contents]
2010 – 2019
- 2019
- [j42]Karol Pak:
Diophantine Sets. Part II. Formaliz. Math. 27(2): 197-208 (2019) - [j41]Karol Pak:
Formalization of the MRDP Theorem in the Mizar System. Formaliz. Math. 27(2): 209-221 (2019) - [j40]Chad E. Brown, Karol Pak:
AIM Loops and the AIM Conjecture. Formaliz. Math. 27(4): 321-335 (2019) - [j39]Cezary Kaliszyk, Karol Pak:
Semantics of Mizar as an Isabelle Object Logic. J. Autom. Reason. 63(3): 557-595 (2019) - [c19]Chad E. Brown, Cezary Kaliszyk, Karol Pak:
Higher-Order Tarski Grothendieck as a Foundation for Formal Proof. ITP 2019: 9:1-9:16 - [c18]Cezary Kaliszyk, Karol Pak:
Declarative Proof Translation (Short Paper). ITP 2019: 35:1-35:7 - [c17]Chad E. Brown, Karol Pak:
A Tale of Two Set Theories. CICM 2019: 44-60 - [i1]Chad E. Brown, Karol Pak:
A Tale of Two Set Theories. CoRR abs/1907.08368 (2019) - 2018
- [j38]Karol Pak:
Diophantine sets. Preliminaries. Formaliz. Math. 26(1): 81-90 (2018) - [j37]Marcin Acewicz, Karol Pak:
Basic Diophantine Relations. Formaliz. Math. 26(2): 175-181 (2018) - [j36]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): 9-32 (2018) - [c16]Karol Pak:
Mizar Set Comprehension in Isabelle Framework. FedCSIS (Communication Papers) 2018: 23-26 - [c15]Karol Pak:
Combining the Syntactic and Semantic Representations of Mizar Proofs. FedCSIS 2018: 145-153 - [c14]Cezary Kaliszyk, Karol Pak:
Isabelle Import Infrastructure for the Mizar Mathematical Library. CICM 2018: 131-146 - [c13]Karol Pak:
Progress in the Formalization of Matiyasevich's Theorem in the Mizar System. CICM Workshops 2018 - 2017
- [j35]Artur Kornilowicz, Karol Pak:
Vieta's Formula about the Sum of Roots of Polynomials. Formaliz. Math. 25(2): 87-92 (2017) - [j34]Artur Kornilowicz, Karol Pak:
Basel Problem - Preliminaries. Formaliz. Math. 25(2): 141-147 (2017) - [j33]Karol Pak, Artur Kornilowicz:
Basel Problem. Formaliz. Math. 25(2): 149-155 (2017) - [j32]Marcin Acewicz, Karol Pak:
Pell's Equation. Formaliz. Math. 25(3): 197-204 (2017) - [j31]Karol Pak:
The Matiyasevich Theorem. Preliminaries. Formaliz. Math. 25(4): 315-322 (2017) - [c12]Marcin Acewicz, Karol Pak:
Formalization of Pell's Equations in the Mizar System. FedCSIS 2017: 223-226 - [c11]Cezary Kaliszyk, Karol Pak:
Progress in the Independent Certification of Mizar Mathematical Library in Isabelle. FedCSIS 2017: 227-236 - [c10]Cezary Kaliszyk, Karol Pak:
Isabelle Formalization of Set Theoretic Structures and Set Comprehensions. MACIS 2017: 163-178 - [c9]Cezary Kaliszyk, Karol Pak:
Presentation and Manipulation of Mizar Properties in an Isabelle Object Logic. CICM 2017: 193-207 - 2016
- [j30]Karol Pak:
Leibniz Series for π. Formaliz. Math. 24(4): 275-280 (2016) - [c8]Karol Pak:
Topological Foundations for a Formal Theory of Manifolds. FM4M/MathUI/ThEdu/DP/WIP@CIKM 2016: 14-16 - [c7]Karol Pak:
Lemma Extraction Criteria Based on Properties of Theorem Statements. FM4M/MathUI/ThEdu/DP/WIP@CIKM 2016: 158-171 - [c6]Karol Pak, Aleksy Schubert:
The impact of proof steps sequence on proof readability - experimental setting. FM4M/MathUI/ThEdu/DP/WIP@CIKM 2016: 172-186 - [c5]Cezary Kaliszyk, Karol Pak, Josef Urban:
Towards a mizar environment for isabelle: foundations and language. CPP 2016: 58-65 - 2015
- [j29]Karol Pak:
Flexary Operations. Formaliz. Math. 23(2): 81-92 (2015) - [j28]Karol Pak:
Euler's Partition Theorem. Formaliz. Math. 23(2): 93-99 (2015) - [j27]Karol Pak:
Improving Legibility of Formal Proofs Based on the Close Reference Principle is NP-Hard. J. Autom. Reason. 55(3): 295-306 (2015) - [c4]Karol Pak:
Readable Formalization of Euler's Partition Theorem in Mizar. CICM 2015: 211-226 - [c3]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: 261-279 - 2014
- [j26]Karol Pak:
Improving legibility of natural deduction proofs is not trivial. Log. Methods Comput. Sci. 10(3) (2014) - [j25]Karol Pak:
Tietze Extension Theorem for n-dimensional Spaces. Formaliz. Math. 22(1): 11-19 (2014) - [j24]Karol Pak:
Brouwer Invariance of Domain Theorem. Formaliz. Math. 22(1): 21-28 (2014) - [j23]Karol Pak:
Bertrand's Ballot Theorem. Formaliz. Math. 22(2): 119-123 (2014) - [j22]Karol Pak:
Topological Manifolds. Formaliz. Math. 22(2): 179-186 (2014) - [c2]Karol Pak:
Automated Improving of Proof Legibility in the Mizar System. CICM 2014: 373-387 - 2013
- [j21]Karol Pak:
Methods of Lemma Extraction in Natural Deduction Proofs. J. Autom. Reason. 50(2): 217-228 (2013) - 2012
- [j20]Karol Pak:
The Rotation Group. Formaliz. Math. 20(1): 23-29 (2012) - [j19]Karol Pak:
The Friendship Theorem. Formaliz. Math. 20(3): 235-237 (2012) - [c1]Dominik Tomaszuk, Karol Pak, Henryk Rybinski:
Trust in RDF Graphs. ADBIS (2) 2012: 273-283 - 2011
- [j18]Karol Pak:
Linear Transformations of Euclidean Topological Spaces. Formaliz. Math. 19(2): 103-108 (2011) - [j17]Karol Pak:
Linear Transformations of Euclidean Topological Spaces. Part II. Formaliz. Math. 19(2): 109-112 (2011) - [j16]Karol Pak:
Continuity of Barycentric Coordinates in Euclidean Topological Spaces. Formaliz. Math. 19(3): 139-144 (2011) - [j15]Karol Pak:
Brouwer Fixed Point Theorem for Simplexes. Formaliz. Math. 19(3): 145-150 (2011) - [j14]Karol Pak:
Brouwer Fixed Point Theorem in the General Case. Formaliz. Math. 19(3): 151-153 (2011) - 2010
- [j13]Karol Pak:
Affine Independence in Vector Spaces. Formaliz. Math. 18(1-4): 87-93 (2010) - [j12]Karol Pak:
Abstract Simplicial Complexes. Formaliz. Math. 18(1-4): 95-106 (2010) - [j11]Karol Pak:
The Geometric Interior in Real Linear Spaces. Formaliz. Math. 18(1-4): 185-188 (2010) - [j10]Karol Pak:
Sperner's Lemma. Formaliz. Math. 18(1-4): 189-196 (2010)
2000 – 2009
- 2009
- [j9]Karol Pak:
Basic Properties of Metrizable Topological Spaces. Formaliz. Math. 17(1-4): 201-205 (2009) - [j8]Karol Pak:
Small Inductive Dimension of Topological Spaces. Formaliz. Math. 17(1-4): 207-212 (2009) - [j7]Karol Pak:
Small Inductive Dimension of Topological Spaces. Part II. Formaliz. Math. 17(1-4): 219-222 (2009) - 2008
- [j6]Karol Pak:
Complete Spaces. Formaliz. Math. 16(1-4): 35-43 (2008) - [j5]Karol Pak:
Solutions of Linear Equations. Formaliz. Math. 16(1-4): 81-90 (2008) - [j4]Karol Pak:
Block Diagonal Matrices. Formaliz. Math. 16(1-4): 259-267 (2008) - [j3]Karol Pak:
Linear Map of Matrices. Formaliz. Math. 16(1-4): 269-275 (2008) - [j2]Karol Pak:
Eigenvalues of a Linear Transformation. Formaliz. Math. 16(1-4): 289-295 (2008) - [j1]Karol Pak:
Jordan Matrix Decomposition. Formaliz. Math. 16(1-4): 297-303 (2008)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-11-06 21:34 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
