Karol Pąk
Karol Pąk
Institute of Informatics, University of Bialystok
Verifierad e-postadress på uwb.edu.pl - Startsida
Titel
Citeras av
Citeras av
År
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
1712015
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 (1), 9-32, 2018
1122018
Methods of lemma extraction in natural deduction proofs
K Pąk
Journal of Automated Reasoning 50 (2), 217-228, 2013
322013
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
202016
Improving legibility of formal proofs based on the close reference principle is NP-hard
K Pąk
Journal of Automated Reasoning 55 (3), 295-306, 2015
182015
Improving legibility of natural deduction proofs is not trivial
K Pąk
arXiv preprint arXiv:1407.1140, 2014
182014
Basic properties of the rank of matrices over a field
K Pąk
Formalized Mathematics 15 (4), 199-211, 2007
172007
Semantics of Mizar as an Isabelle object logic
C Kaliszyk, K Pąk
Journal of Automated Reasoning 63 (3), 557-595, 2019
132019
Trust in RDF graphs
D Tomaszuk, K Pąk, H Rybiński
Advances in Databases and Information Systems, 273-283, 2013
132013
THE ALGORITHMS FOR IMPROVING AND REORGANIZING NATURAL DEDUCTION PROOFS
K Pąk
order, 0
10*
Laplace expansion
K Pąk, A Trybulec
Formalized Mathematics 15 (3), 143-150, 2007
92007
Stirling numbers of the second kind
K Pak
Formalized Mathematics 13 (2), 337-345, 2005
92005
The Catalan Numbers. Part II
K Pąk
9*
Affine Indepedence in Vector Spaces
K Pąk
9*
Automated improving of proof legibility in the Mizar system
K Pąk
International Conference on Intelligent Computer Mathematics, 373-387, 2014
82014
The methods of improving and reorganizing natural deduction proofs
K Pak
MathUI10, 2010
82010
Progress in the independent certification of Mizar Mathematical Library in Isabelle
C Kaliszyk, K Pąk
2017 Federated Conference on Computer Science and Information Systems …, 2017
72017
Presentation and manipulation of Mizar properties in an Isabelle object logic
C Kaliszyk, K Pąk
International Conference on Intelligent Computer Mathematics, 193-207, 2017
72017
Topological manifolds
K Pąk
De Gruyter Open, 2014
72014
Linear transformations of Euclidean topological spaces
K Pąk
De Gruyter Open, 2011
72011
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20