Concepedia

Karol Pąk

KP

Statistics

Publications

9

Citations

345

H-Index

9

Active since

2007

Affiliations

University of Białystok(Current)

Institute of Computer Science

Universität Innsbruck

Karol Pąk is an author at University of Białystok specializing in computing, computer science, and formal methods.

ORCID

Publications per year

2007–2018

9

Publications

9

The Role of the Mizar Mathematical Library for Interactive Proof Development in Mizar

Grzegorz Bancerek, Czesław Byliński, Adam Grabowski et al. · Journal of Automated Reasoning · 2017 · 203 citations · Full text

, , +17

Methods of Lemma Extraction in Natural Deduction Proofs

Karol Pąk · Journal of Automated Reasoning · 2012 · 31 citations · Full text

, , +11

Improving Legibility of Formal Proofs Based on the Close Reference Principle is NP-Hard

Karol Pąk · Journal of Automated Reasoning · 2015 · 21 citations · Full text

, , +12

Improving legibility of natural deduction proofs is not trivial

Karol Pąk · Logical Methods in Computer Science · 2014 · 19 citations · Full text

, , +14

Basic Properties of the Rank of Matrices over a Field

Karol Pąk · Formalized Mathematics · 2007 · 19 citations · Full text

, , +8

1–5 of 9