Publications:


The Mizar System in the Isabelle Logical Framework:

Improving Legibility of Formal Proofs:

Described Formalizations:

Formalized Mathematics:

  1. 2017
  2. 2016
  3. 2015
  4. 2014
  5. 2012
  6. 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)]
  7. 2010
  8. 2009
  9. 2008
  10. 2007
  11. 2006
  12. 2005
  13. 2004

Others: