Karol Pak - RankMe

84 papers B 5C 9Journal 61Unranked 8

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	Conway's Normal Form in the Mizar System. Formaliz. Math. Karol Pak
2025	J	`jnl`	Elementary Number Theory Problems. Part XIX. Formaliz. Math. Karol Pak
2025	J	`jnl`	Surreal Dyadic and Real Numbers: A Formal Construction. Formaliz. Math. Karol Pak
2025	J	`jnl`	Surreal Numbers: A Study of Square Roots. Formaliz. Math. Karol Pak
2024	B	`conf`	Conway Normal Form: Bridging Approaches for Comprehensive Formalization of Surreal Numbers. ITP Karol Pak, Cezary Kaliszyk
2024	J	`jnl`	Conway Normal Form: Bridging Approaches for Comprehensive Formalization of Surreal Numbers. CoRR Karol Pak, Cezary Kaliszyk
2024	J	`jnl`	Elementary Number Theory Problems. Part XV - Diophantine Equations. Formaliz. Math. Karol Pak, Artur Kornilowicz
2024	J	`jnl`	Elementary Number Theory Problems. Part XVI. Formaliz. Math. Karol Pak
2024	J	`jnl`	Inverse Element for Surreal Number. Formaliz. Math. Karol Pak
2023	J	`jnl`	Combining Higher-Order Logic with Set Theory Formalizations. J. Autom. Reason. Cezary Kaliszyk, Karol Pak
2023	J	`jnl`	Conway Numbers - Formal Introduction. Formaliz. Math. Karol Pak
2023	J	`jnl`	Integration of Game Theoretic and Tree Theoretic Approaches to Conway Numbers. Formaliz. Math. Karol Pak
2023	J	`jnl`	The Ring of Conway Numbers in Mizar. Formaliz. Math. Karol Pak
2022	B	`conf`	Formalizing a Diophantine Representation of the Set of Prime Numbers. ITP Karol Pak, Cezary Kaliszyk
2022	J	`jnl`	Formalizing a Diophantine Representation of the Set of Prime Numbers. CoRR Karol Pak, Cezary Kaliszyk
2022	J	`jnl`	Prime Representing Polynomial with 10 Unknowns - Introduction. Formaliz. Math. Karol Pak
2022	J	`jnl`	Prime Representing Polynomial with 10 Unknowns - Introduction. Part II. Formaliz. Math. Karol Pak
2022	J	`jnl`	Prime Representing Polynomial with 10 Unknowns. Formaliz. Math. Karol Pak
2021	—	`conf`	Formalization of Prime Representing Polynomial in Mizar (short paper). CICM Workshops Karol Pak
2021	J	`jnl`	Prime Representing Polynomial. Formaliz. Math. Karol Pak
2020	J	`jnl`	Grothendieck Universes. Formaliz. Math. Karol Pak
2020	—	`ed.`	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. CICM Workshops Edwin C. Brady, James H. Davenport, William M. Farmer, Cezary Kaliszyk, Andrea Kohlhase, Michael Kohlhase, Dennis Müller, Karol Pak, Claudio Sacerdoti Coen
2019	C	`conf`	A Tale of Two Set Theories. CICM Chad E. Brown, Karol Pak
2019	J	`jnl`	A Tale of Two Set Theories. CoRR Chad E. Brown, Karol Pak
2019	J	`jnl`	AIM Loops and the AIM Conjecture. Formaliz. Math. Chad E. Brown, Karol Pak
2019	B	`conf`	Declarative Proof Translation (Short Paper). ITP Cezary Kaliszyk, Karol Pak
2019	J	`jnl`	Diophantine Sets. Part II. Formaliz. Math. Karol Pak
2019	J	`jnl`	Formalization of the MRDP Theorem in the Mizar System. Formaliz. Math. Karol Pak
2019	B	`conf`	Higher-Order Tarski Grothendieck as a Foundation for Formal Proof. ITP Chad E. Brown, Cezary Kaliszyk, Karol Pak
2019	J	`jnl`	Semantics of Mizar as an Isabelle Object Logic. J. Autom. Reason. Cezary Kaliszyk, Karol Pak
2018	J	`jnl`	Basic Diophantine Relations. Formaliz. Math. Marcin Acewicz, Karol Pak
2018	C	`conf`	Combining the Syntactic and Semantic Representations of Mizar Proofs. FedCSIS Karol Pak
2018	J	`jnl`	Diophantine sets. Preliminaries. Formaliz. Math. Karol Pak
2018	C	`conf`	Isabelle Import Infrastructure for the Mizar Mathematical Library. CICM Cezary Kaliszyk, Karol Pak
2018	—	`conf`	Mizar Set Comprehension in Isabelle Framework. FedCSIS (Communication Papers) Karol Pak
2018	—	`conf`	Progress in the Formalization of Matiyasevich's Theorem in the Mizar System. CICM Workshops Karol Pak
2018	J	`jnl`	The Role of the Mizar Mathematical Library for Interactive Proof Development in Mizar. J. Autom. Reason. Grzegorz Bancerek, Czeslaw Bylinski, Adam Grabowski, Artur Kornilowicz, Roman Matuszewski, Adam Naumowicz, Karol Pak
2017	J	`jnl`	Basel Problem - Preliminaries. Formaliz. Math. Artur Kornilowicz, Karol Pak
2017	J	`jnl`	Basel Problem. Formaliz. Math. Karol Pak, Artur Kornilowicz
2017	C	`conf`	Formalization of Pell's Equations in the Mizar System. FedCSIS Marcin Acewicz, Karol Pak
2017	—	`conf`	Isabelle Formalization of Set Theoretic Structures and Set Comprehensions. MACIS Cezary Kaliszyk, Karol Pak
2017	J	`jnl`	Pell's Equation. Formaliz. Math. Marcin Acewicz, Karol Pak
2017	C	`conf`	Presentation and Manipulation of Mizar Properties in an Isabelle Object Logic. CICM Cezary Kaliszyk, Karol Pak
2017	C	`conf`	Progress in the Independent Certification of Mizar Mathematical Library in Isabelle. FedCSIS Cezary Kaliszyk, Karol Pak
2017	J	`jnl`	The Matiyasevich Theorem. Preliminaries. Formaliz. Math. Karol Pak
2017	J	`jnl`	Vieta's Formula about the Sum of Roots of Polynomials. Formaliz. Math. Artur Kornilowicz, Karol Pak
2016	J	`jnl`	Leibniz Series for π. Formaliz. Math. Karol Pak
2016	—	`conf`	Lemma Extraction Criteria Based on Properties of Theorem Statements. FM4M/MathUI/ThEdu/DP/WIP@CIKM Karol Pak
2016	—	`conf`	The impact of proof steps sequence on proof readability - experimental setting. FM4M/MathUI/ThEdu/DP/WIP@CIKM Karol Pak, Aleksy Schubert
2016	—	`conf`	Topological Foundations for a Formal Theory of Manifolds. FM4M/MathUI/ThEdu/DP/WIP@CIKM Karol Pak
2016	B	`conf`	Towards a mizar environment for isabelle: foundations and language. CPP Cezary Kaliszyk, Karol Pak, Josef Urban
2015	J	`jnl`	Euler's Partition Theorem. Formaliz. Math. Karol Pak
2015	J	`jnl`	Flexary Operations. Formaliz. Math. Karol Pak
2015	J	`jnl`	Improving Legibility of Formal Proofs Based on the Close Reference Principle is NP-Hard. J. Autom. Reason. Karol Pak
2015	C	`conf`	Mizar: State-of-the-art and Beyond. CICM Grzegorz Bancerek, Czeslaw Bylinski, Adam Grabowski, Artur Kornilowicz, Roman Matuszewski, Adam Naumowicz, Karol Pak, Josef Urban
2015	C	`conf`	Readable Formalization of Euler's Partition Theorem in Mizar. CICM Karol Pak
2014	C	`conf`	Automated Improving of Proof Legibility in the Mizar System. CICM Karol Pak
2014	J	`jnl`	Bertrand's Ballot Theorem. Formaliz. Math. Karol Pak
2014	J	`jnl`	Brouwer Invariance of Domain Theorem. Formaliz. Math. Karol Pak
2014	J	`jnl`	Improving legibility of natural deduction proofs is not trivial. Log. Methods Comput. Sci. Karol Pak
2014	J	`jnl`	Tietze Extension Theorem for n-dimensional Spaces. Formaliz. Math. Karol Pak
2014	J	`jnl`	Topological Manifolds. Formaliz. Math. Karol Pak
2013	J	`jnl`	Methods of Lemma Extraction in Natural Deduction Proofs. J. Autom. Reason. Karol Pak
2012	J	`jnl`	The Friendship Theorem. Formaliz. Math. Karol Pak
2012	J	`jnl`	The Rotation Group. Formaliz. Math. Karol Pak
2012	—	`conf`	Trust in RDF Graphs. ADBIS (2) Dominik Tomaszuk, Karol Pak, Henryk Rybinski
2011	J	`jnl`	Brouwer Fixed Point Theorem for Simplexes. Formaliz. Math. Karol Pak
2011	J	`jnl`	Brouwer Fixed Point Theorem in the General Case. Formaliz. Math. Karol Pak
2011	J	`jnl`	Continuity of Barycentric Coordinates in Euclidean Topological Spaces. Formaliz. Math. Karol Pak
2011	J	`jnl`	Linear Transformations of Euclidean Topological Spaces. Formaliz. Math. Karol Pak
2011	J	`jnl`	Linear Transformations of Euclidean Topological Spaces. Part II. Formaliz. Math. Karol Pak
2010	J	`jnl`	Abstract Simplicial Complexes. Formaliz. Math. Karol Pak
2010	J	`jnl`	Affine Independence in Vector Spaces. Formaliz. Math. Karol Pak
2010	J	`jnl`	Sperner's Lemma. Formaliz. Math. Karol Pak
2010	J	`jnl`	The Geometric Interior in Real Linear Spaces. Formaliz. Math. Karol Pak
2009	J	`jnl`	Basic Properties of Metrizable Topological Spaces. Formaliz. Math. Karol Pak
2009	J	`jnl`	Small Inductive Dimension of Topological Spaces. Formaliz. Math. Karol Pak
2009	J	`jnl`	Small Inductive Dimension of Topological Spaces. Part II. Formaliz. Math. Karol Pak
2008	J	`jnl`	Block Diagonal Matrices. Formaliz. Math. Karol Pak
2008	J	`jnl`	Complete Spaces. Formaliz. Math. Karol Pak
2008	J	`jnl`	Eigenvalues of a Linear Transformation. Formaliz. Math. Karol Pak
2008	J	`jnl`	Jordan Matrix Decomposition. Formaliz. Math. Karol Pak
2008	J	`jnl`	Linear Map of Matrices. Formaliz. Math. Karol Pak
2008	J	`jnl`	Solutions of Linear Equations. Formaliz. Math. Karol Pak