| 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 | 285 | 2015 |
| 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 | 219 | 2018 |
| Methods of lemma extraction in natural deduction proofs K Pąk Journal of Automated Reasoning 50, 217-228, 2013 | 35 | 2013 |
| A tale of two set theories CE Brown, K Pąk Intelligent Computer Mathematics: 12th International Conference, CICM 2019 …, 2019 | 30 | 2019 |
| 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 | 23 | 2016 |
| Semantics of Mizar as an Isabelle object logic C Kaliszyk, K Pąk Journal of Automated Reasoning 63, 557-595, 2019 | 21 | 2019 |
| 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 | 21 | 2015 |
| Basic properties of the rank of matrices over a field K Pak Formalized Mathematics 15 (4), 199-211, 2007 | 19 | 2007 |
| Improving legibility of natural deduction proofs is not trivial K Pąk Logical Methods in Computer Science 10, 2014 | 18 | 2014 |
| Trust in RDF graphs D Tomaszuk, K Pąk, H Rybiński Advances in Databases and Information Systems, 273-283, 2013 | 15 | 2013 |
| Higher-order Tarski Grothendieck as a foundation for formal proof CE Brown, C Kaliszyk, K Pąk 10th International Conference on Interactive Theorem Proving (ITP 2019), 9 …, 2019 | 14 | 2019 |
| The Matiyasevich theorem. preliminaries K Pąk Formalized Mathematics 25 (4), 315-322, 2017 | 11 | 2017 |
| Stirling numbers of the second kind K Pak Formalized Mathematics 13 (2), 337-345, 2005 | 11 | 2005 |
| THE ALGORITHMS FOR IMPROVING AND REORGANIZING NATURAL DEDUCTION PROOFS K Pąk order, 0 | 11* | |
| Automated improving of proof legibility in the Mizar system K Pąk International Conference on Intelligent Computer Mathematics, 373-387, 2014 | 10 | 2014 |
| Formalizing a diophantine representation of the set of prime numbers K Pąk, C Kaliszyk arXiv preprint arXiv:2204.12311, 2022 | 9 | 2022 |
| Topological manifolds K Pąk Formalized Mathematics 22 (2), 179-186, 2014 | 9 | 2014 |
| Laplace expansion K Pąk, A Trybulec Formalized Mathematics 15 (3), 143-150, 2007 | 9 | 2007 |
| The Catalan Numbers. Part II K Pąk | 9* | |
| Affine Indepedence in Vector Spaces K Pąk | 9* | |
Artur KorniłowiczUniwersytet w Białymstokuכתובת אימייל מאומתת בדומיין math.uwb.edu.pl
