Last publications:


  1. Cezary Kaliszyk, Karol Pąk, Semantics of Mizar as an Isabelle Object Logic, Journal of Automated Reasoning, 2018.
    [BibTex, Publisher's site, PDF(openaccess)]
  2. Karol Pąk, Combining the Syntactic and Semantic Representations of Mizar Proofs, In M. Ganzha, L. A. Maciaszek, M. Paprzycki, Federated Conference on Computer Science and Information Systems, FedCSIS 2018, Poznan, Poland, September 9-12, 2018, volume 15 of Annals of Computer Science and Information Systems, pages 145-153.
    [BibTex, Publisher's site , PDF(openaccess)]
  3. Grzegorz Bancerek, Czesław Byliński, Adam Grabowski, Artur Korniłowicz, Roman Matuszewski, Adam Naumowicz, Karol Pąk, The Role of the Mizar Mathematical Library for Interactive Proof Development in Mizar Journal of Automated Reasoning, 2017.
    [BibTex, Publisher's site, PDF(openaccess)]
  4. Dominik Tomaszuk, Karol Pąk, Reducing vertices in property graphs Plos One, 13(2):1-25, 2018.
    [BibTex, Publisher's site, PDF(openaccess)]

Publications:


The Mizar System in the Isabelle Logical Framework:

Improving Legibility of Formal Proofs:

Described Formalizations:

Formalized Mathematics:

  1. 2018
  2. 2017
  3. 2016
  4. 2015
  5. 2014
  6. 2012
  7. 2011
    • Karol Pąk, Brouwer Fixed Point Theorem in the General Case, Formalized Mathematics, 17(3), 153–155, 2011.
      [BibTex, Degruyter, PDF(openaccess)]
    • Karol Pąk, Brouwer Fixed Point Theorem for Simplexes, Formalized Mathematics, 19(3), 2147–152, 2011.
      [BibTex, Degruyter, PDF(openaccess)]
    • Karol Pąk, Continuity of Barycentric Coordinates in Euclidean Topological Spaces, Formalized Mathematics, 19(3), 141–146, 2011.
      [BibTex, Degruyter, PDF(openaccess)]
    • Karol Pąk, Linear Transformations of Euclidean Topological Spaces. Part II, Formalized Mathematics, 19(2), 2109–112, 2011.
      [BibTex, Degruyter, PDF(openaccess)]
    • Karol Pąk, Linear Transformations of Euclidean Topological Spaces, Formalized Mathematics, 19(2), 103–108, 2011.
      [BibTex, Degruyter, PDF(openaccess)]
  8. 2010
  9. 2009
  10. 2008
  11. 2007
  12. 2006
  13. 2005
  14. 2004

Others: