default search action
Karol 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
- [j51]Karol Pak:
Conway Numbers - Formal Introduction. Formaliz. Math. 31(1): 193-203 (2023) - [j50]Karol Pak:
Integration of Game Theoretic and Tree Theoretic Approaches to Conway Numbers. Formaliz. Math. 31(1): 205-213 (2023) - [j49]Karol Pak:
The Ring of Conway Numbers in Mizar. Formaliz. Math. 31(1): 215-228 (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
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
Semantics of Mizar as an Isabelle Object Logic. J. Autom. Reason. 63(3): 557-595 (2019) - [c19]Chad E. Brown, Cezary Kaliszyk
Higher-Order Tarski Grothendieck as a Foundation for Formal Proof. ITP 2019: 9:1-9:16 - [c18]Cezary Kaliszyk
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
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
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
Vieta's Formula about the Sum of Roots of Polynomials. Formaliz. Math. 25(2): 87-92 (2017) - [j34]Artur Kornilowicz
Basel Problem - Preliminaries. Formaliz. Math. 25(2): 141-147 (2017) - [j33]Karol Pak
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
Progress in the Independent Certification of Mizar Mathematical Library in Isabelle. FedCSIS 2017: 227-236 - [c10]Cezary Kaliszyk
Isabelle Formalization of Set Theoretic Structures and Set Comprehensions. MACIS 2017: 163-178 - [c9]Cezary Kaliszyk
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
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
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
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-19 21:46 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: