Cezary Kaliszyk
2016
A Standard for Aligning Mathematical Concepts
Cezary Kaliszyk
|
Michael Kohlhase
|
Dennis Müller
|
Florian Rabe
Joint Proceedings of the FM4M, MathUI, and ThEdu Workshops, Doctoral Program, and Work in Progress at the Conference on Intelligent Computer Mathematics 2016 co-located with the 9th Conference on Intelligent Computer Mathematics (CICM 2016), Bialystok, Poland, July 25-29, 2016
Initial Experiments with Statistical Conjecturing over Large Formal Corpora
Thibault Gauthier
|
Cezary Kaliszyk
|
Josef Urban
Joint Proceedings of the FM4M, MathUI, and ThEdu Workshops, Doctoral Program, and Work in Progress at the Conference on Intelligent Computer Mathematics 2016 co-located with the 9th Conference on Intelligent Computer Mathematics (CICM 2016), Bialystok, Poland, July 25-29, 2016