FrameIT reloaded: Serious math games from modular math ontologies

Kohlhase M, Müller D, Rochau D (2017)


Publication Status: Published

Publication Type: Conference contribution, Original article

Publication year: 2017

Publisher: CEUR-WS

Book Volume: 1785

Pages Range: 245-259

Conference Proceedings Title: 2016 Joint Formal Mathematics for Mathematicians, FM4M 2016, 11th Workshop on Mathematical User Interfaces, MathUI 2016, and 2016 Workshop on Theorem Proving Components for Educational Software, ThEdu 2016, Doctoral Program, and Work in Progress at the Conference on Intelligent Computer Mathematics, CICM-WS-WIP 2016

Authors with CRIS profile

How to cite

APA:

Kohlhase, M., Müller, D., & Rochau, D. (2017). FrameIT reloaded: Serious math games from modular math ontologies. In 2016 Joint Formal Mathematics for Mathematicians, FM4M 2016, 11th Workshop on Mathematical User Interfaces, MathUI 2016, and 2016 Workshop on Theorem Proving Components for Educational Software, ThEdu 2016, Doctoral Program, and Work in Progress at the Conference on Intelligent Computer Mathematics, CICM-WS-WIP 2016 (pp. 245-259). CEUR-WS.

MLA:

Kohlhase, Michael, Dennis Müller, and Denis Rochau. "FrameIT reloaded: Serious math games from modular math ontologies." Proceedings of the 2016 Joint Formal Mathematics for Mathematicians, FM4M 2016, 11th Workshop on Mathematical User Interfaces, MathUI 2016, and 2016 Workshop on Theorem Proving Components for Educational Software, ThEdu 2016, Doctoral Program, and Work in Progress at the Conference on Intelligent Computer Mathematics, CICM-WS-WIP 2016 CEUR-WS, 2017. 245-259.

BibTeX: Download