Michael Kohlhase


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
Notation-based Semantification
Ion Toloaca | Michael Kohlhase
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
NTCIR-12 MathIR Task Overview
Richard Zanibbi | Akiko Aizawa | Michael Kohlhase | Iadh Ounis | Goran Topic | Kenny Davila
Proceedings of the 12th NTCIR Conference on Evaluation of Information Access Technologies, National Center of Sciences, Tokyo, Japan, June 7-10, 2016

2014

pdf dblp
NTCIR-11 Math-2 Task Overview
Akiko Aizawa | Michael Kohlhase | Iadh Ounis | Moritz Schubotz
Proceedings of the 11th NTCIR Conference on Evaluation of Information Access Technologies, NTCIR-11, National Center of Sciences, Tokyo, Japan, December 9-12, 2014

pdf dblp
MathWebSearch at NTCIR-11
Radu Hambasan | Michael Kohlhase | Corneliu-Claudiu Prodescu
Proceedings of the 11th NTCIR Conference on Evaluation of Information Access Technologies, NTCIR-11, National Center of Sciences, Tokyo, Japan, December 9-12, 2014

2013

pdf dblp
NTCIR-10 Math Pilot Task Overview
Akiko Aizawa | Michael Kohlhase | Iadh Ounis
Proceedings of the 10th NTCIR Conference on Evaluation of Information Access Technologies, NTCIR-10, National Center of Sciences, Tokyo, Japan, June 18-21, 2013

pdf dblp
MathWebSearch at NTCIR-10
Michael Kohlhase | Corneliu-Claudiu Prodescu
Proceedings of the 10th NTCIR Conference on Evaluation of Information Access Technologies, NTCIR-10, National Center of Sciences, Tokyo, Japan, June 18-21, 2013