OpenMathMap: accessing math via interactive maps. - Jan Wilken Dörrie; Michael Kohlhase (CICM Workshops, 2013)