Skip to content
cs-conference-ranking.org

Karol Pak

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

13

Venues

5

Active years

2012–2024

Best venue rank

B

Where they publish

Papers

13 indexed papers, newest first.

YearVenueTitleAuthors
2024ITPConway Normal Form: Bridging Approaches for Comprehensive Formalization of Surreal Numbers.Karol Pak, Cezary Kaliszyk
2022ITPFormalizing a Diophantine Representation of the Set of Prime Numbers.Karol Pak, Cezary Kaliszyk
2019ITPHigher-Order Tarski Grothendieck as a Foundation for Formal Proof.Chad E. Brown, Cezary Kaliszyk, Karol Pak
2019ITPDeclarative Proof Translation (Short Paper).Cezary Kaliszyk, Karol Pak
2018FedCSISCombining the Syntactic and Semantic Representations of Mizar Proofs.Karol Pak
2018FedCSISMizar Set Comprehension in Isabelle Framework.Karol Pak
2017FedCSISFormalization of Pell's Equations in the Mizar System.Marcin Acewicz, Karol Pak
2017FedCSISProgress in the Independent Certification of Mizar Mathematical Library in Isabelle.Cezary Kaliszyk, Karol Pak
2016CIKMTopological Foundations for a Formal Theory of Manifolds.Karol Pak
2016CIKMLemma Extraction Criteria Based on Properties of Theorem Statements.Karol Pak
2016CIKMThe impact of proof steps sequence on proof readability - experimental setting.Karol Pak, Aleksy Schubert
2016CPPTowards a mizar environment for isabelle: foundations and language.Cezary Kaliszyk, Karol Pak, Josef Urban
2012ADBISTrust in RDF Graphs.Dominik Tomaszuk, Karol Pak, Henryk Rybinski