OpenMathMap: Accessing Math via Interactive Maps

Dörrie JW, Kohlhase M (2013)


Publication Status: Published

Publication Type: Conference contribution, Original article

Publication year: 2013

Publisher: CEUR-WS

Book Volume: 1010

URI: https://www.scopus.com/record/display.uri?eid=2-s2.0-84924872163&origin=inward

Authors with CRIS profile

How to cite

APA:

Dörrie, J.W., & Kohlhase, M. (2013). OpenMathMap: Accessing Math via Interactive Maps. In Proceedings of the Joint Workshops of the 8th Workshop on Mathematical User Interfaces, MathUI 2013, 25th OpenMath Workshop, OpenMath 2013, 5th International Workshop on Programming Languages for Mechanised Mathematical Systems, PLMMS 2013 and the 2nd International Workshop on Theorem Proving Components for Educational Software, ThEdu 2013 and Work in Progress at Conference on Intelligent Computer Mathematics, CICM 2013. CEUR-WS.

MLA:

Dörrie, Jan Wilken, and Michael Kohlhase. "OpenMathMap: Accessing Math via Interactive Maps." Proceedings of the Joint Workshops of the 8th Workshop on Mathematical User Interfaces, MathUI 2013, 25th OpenMath Workshop, OpenMath 2013, 5th International Workshop on Programming Languages for Mechanised Mathematical Systems, PLMMS 2013 and the 2nd International Workshop on Theorem Proving Components for Educational Software, ThEdu 2013 and Work in Progress at Conference on Intelligent Computer Mathematics, CICM 2013 CEUR-WS, 2013.

BibTeX: Download