Karol Pak
2016
The impact of proof steps sequence on proof readability  experimental setting
Karol Pak

Aleksy Schubert
Joint Proceedings of the FM4M, MathUI, and ThEdu Workshops, Doctoral Program, and Work in Progress at the Conference on Intelligent Computer Mathematics 2016 colocated with the 9th Conference on Intelligent Computer Mathematics (CICM 2016), Bialystok, Poland, July 2529, 2016
Lemma Extraction Criteria Based on Properties of Theorem Statements
Karol Pak
Joint Proceedings of the FM4M, MathUI, and ThEdu Workshops, Doctoral Program, and Work in Progress at the Conference on Intelligent Computer Mathematics 2016 colocated with the 9th Conference on Intelligent Computer Mathematics (CICM 2016), Bialystok, Poland, July 2529, 2016
Topological Foundations for a Formal Theory of Manifolds
Karol Pak
Joint Proceedings of the FM4M, MathUI, and ThEdu Workshops, Doctoral Program, and Work in Progress at the Conference on Intelligent Computer Mathematics 2016 colocated with the 9th Conference on Intelligent Computer Mathematics (CICM 2016), Bialystok, Poland, July 2529, 2016