2016

pdf dblp
FrameIT Reloaded: Serious Math Games from Modular Math Ontologies
Denis Rochau | Michael Kohlhase | Dennis Müller
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

pdf dblp
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

pdf dblp
Knowledge Management across Formal Libraries
Dennis Müller
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

Search