Follow
Karol Pąk
Karol Pąk
Institute of Informatics, University of Bialystok
Verified email at uwb.edu.pl - Homepage
Title
Cited by
Cited by
Year
Mizar: State-of-the-art and beyond
G Bancerek, C Byliński, A Grabowski, A Korniłowicz, R Matuszewski, ...
International Conference on Intelligent Computer Mathematics, 261-279, 2015
2572015
The role of the Mizar Mathematical Library for interactive proof development in Mizar
G Bancerek, C Byliński, A Grabowski, A Korniłowicz, R Matuszewski, ...
Journal of Automated Reasoning 61, 9-32, 2018
1932018
Methods of lemma extraction in natural deduction proofs
K Pąk
Journal of Automated Reasoning 50, 217-228, 2013
332013
A tale of two set theories
CE Brown, K Pąk
Intelligent Computer Mathematics: 12th International Conference, CICM 2019 …, 2019
252019
Towards a Mizar environment for Isabelle: foundations and language
C Kaliszyk, K Pąk, J Urban
Proceedings of the 5th ACM SIGPLAN Conference on Certified Programs and …, 2016
242016
Improving legibility of formal proofs based on the close reference principle is NP-hard
K Pąk
Journal of Automated Reasoning 55, 295-306, 2015
202015
Basic properties of the rank of matrices over a field
K Pąk
Formalized Mathematics 15 (4), 199-211, 2007
192007
Semantics of Mizar as an Isabelle object logic
C Kaliszyk, K Pąk
Journal of Automated Reasoning 63, 557-595, 2019
182019
Improving legibility of natural deduction proofs is not trivial
K Pąk
Logical Methods in Computer Science 10, 2014
172014
Trust in RDF graphs
D Tomaszuk, K Pąk, H Rybiński
Advances in Databases and Information Systems, 273-283, 2013
152013
Higher-order Tarski Grothendieck as a foundation for formal proof
CE Brown, C Kaliszyk, K Pak
10th International Conference on Interactive Theorem Proving (ITP 2019), 2019
112019
Stirling numbers of the second kind
K Pak
Formalized Mathematics 13 (2), 337-345, 2005
112005
The Matiyasevich theorem. preliminaries
K Pak
Formalized Mathematics 25 (4), 315-322, 2017
102017
THE ALGORITHMS FOR IMPROVING AND REORGANIZING NATURAL DEDUCTION PROOFS
K Pąk
order, 0
10*
Formalizing a diophantine representation of the set of prime numbers
K Pąk, C Kaliszyk
arXiv preprint arXiv:2204.12311, 2022
92022
Automated improving of proof legibility in the Mizar system
K Pąk
International Conference on Intelligent Computer Mathematics, 373-387, 2014
92014
Topological manifolds
K Pąk
Formalized Mathematics 22 (2), 179-186, 2014
92014
Laplace expansion
K Pąk, A Trybulec
Formalized Mathematics 15 (3), 143-150, 2007
92007
The Catalan Numbers. Part II
K Pąk
9*
Affine Indepedence in Vector Spaces
K Pąk
9*
The system can't perform the operation now. Try again later.
Articles 1–20