Please respect any copyrights when downloading

- [3] (2014-06) Mathematical knowledge management: transcending the one-brain-barrier with theory graphs. EMS Newsletter, pp. 22–27. External Links: Link Cited by: p1.
- [1] (2014) Co-representing structure and meaning of mathematical documents. Sprache und Datenverarbeitung, International Journal for Language Data Processing 38 (2), pp. 49–80. Note: Special Issue “The language of mathematics – computational, linguistic and logical aspects” External Links: Link Cited by: p1.
- [2] (2013-09) Zentralblatt column: mathematical formula search. EMS Newsletter, pp. 56–57. External Links: Link Cited by: p1.

- [1] (2016) Faceted search for mathematics. In MACIS 2015MACIS 2015: Sixth International Conference on Mathematical Aspects of Computer and Information Sciences, I. S. Kotsireas, S. M. Rump, and C. K. Yap (Eds.), LNCS. External Links: Link Cited by: p1.
- [3] (2015) A flexiformal model of knowledge dissemination and aggregation in mathematics. In Intelligent computer mathematicsIntelligent Computer Mathematics 2015, M. Kerber, J. Carette, C. Kaliszyk, F. Rabe, and V. Sorge (Eds.), LNCS, pp. 137–152. External Links: Link Cited by: p1.
- [4] (2015) Math literate knowledge management via induced material. In Intelligent computer mathematicsIntelligent Computer Mathematics 2015, M. Kerber, J. Carette, C. Kaliszyk, F. Rabe, and V. Sorge (Eds.), LNCS, pp. 187–202. External Links: Link Cited by: p1.
- [2] (2014) Representing, archiving, and searching the space of mathematical knowledge. In Mathematical software - ICMS 2014 - 4th international congressMathematical Software - ICMS 2014 - 4th International Congress, H. Hong and C. Yap (Eds.), LNCS, Vol. 8592, pp. 26–30. External Links: Document, Link Cited by: p1.
- [5] (2014) Math web search interfaces and the generation gap of mathematicians. In Mathematical software - ICMS 2014 - 4th international congressMathematical Software - ICMS 2014 - 4th International Congress, H. Hong and C. Yap (Eds.), LNCS, Vol. 8592, pp. 586–593. External Links: Document Cited by: p1.
- [6] (2014) Search interfaces for mathematicians. In Intelligent computer mathematicsIntelligent Computer Mathematics 2014, S. Watt, J. Davenport, A. Sexton, P. Sojka, and J. Urban (Eds.), LNCS, pp. 153–168. External Links: Link Cited by: p1.
- [7] (2014) Discourse-level parallel markup and meaning adoption in flexiformal theory graphs. In Mathematical software - ICMS 2014 - 4th international congressMathematical Software - ICMS 2014 - 4th International Congress, H. Hong and C. Yap (Eds.), LNCS, Vol. 8592, pp. 36–40. External Links: Document Cited by: p1.
- [9] (2014) A data model and encoding for a semantic, multilingual terminology of mathematics. In Intelligent computer mathematicsIntelligent Computer Mathematics 2014, S. Watt, J. Davenport, A. Sexton, P. Sojka, and J. Urban (Eds.), LNCS, pp. 169–183. External Links: Link Cited by: p1.
- [8] (2012) MathWebSearch 0.5 – Scaling an Open Formula Search Engine. In Intelligent computer mathematicsIntelligent Computer Mathematics, J. Jeuring, J. A. Campbell, J. Carette, G. Dos Reis, P. Sojka, M. Wenzel, and V. Sorge (Eds.), LNAI, pp. 342–357. External Links: Link Cited by: p1.

- [1] (2014) OpenMathMap: interaction. In Joint proceedings of the MathUI, OpenMath, PLMMS, and ThEdu workshops and work in progress at the conference on intelligent computer mathematics 2014MathUI, OpenMath, PLMMS, and ThEdu Workshops and Work in Progress at the Conference on Intelligent Computer Mathematics, M. England, J. H. Davenport, A. Kohlhase, M. Kohlhase, P. Libbrecht, W. Neuper, P. Quaresma, A. P. Sexton, P. Sojka, J. Urban, and S. M. Watt (Eds.), CEUR Workshop Proceedings. External Links: Link Cited by: p1.
- [2] (2014) NTCIR-11 Math-2 task overview. In NTCIR workshop 11 meetingNTCIR 11 Conference, N. Kando, H. Joho, and K. Kishida (Eds.), pp. 88–98. External Links: Link Cited by: p1.
- [6] (2014) MathWebSearch at NTCIR-11. In NTCIR workshop 11 meetingNTCIR 11 Conference, N. Kando, H. Joho, and K. Kishida (Eds.), pp. 114–119. External Links: Link Cited by: p1.
- [7] (2014) Design of search interfaces for mathematicians. In Joint proceedings of the MathUI, OpenMath, PLMMS, and ThEdu workshops and work in progress at the conference on intelligent computer mathematics 2014MathUI, OpenMath, PLMMS, and ThEdu Workshops and Work in Progress at the Conference on Intelligent Computer Mathematics, M. England, J. H. Davenport, A. Kohlhase, M. Kohlhase, P. Libbrecht, W. Neuper, P. Quaresma, A. P. Sexton, P. Sojka, J. Urban, and S. M. Watt (Eds.), CEUR Workshop Proceedings. External Links: Link Cited by: p1.
- [8] (2014) Math web search interfaces and the generation gap of mathematicians. In Mathematical software - ICMS 2014 - 4th international congressMathematical Software - ICMS 2014 - 4th International Congress, H. Hong and C. Yap (Eds.), LNCS, Vol. 8592, pp. 586–593. External Links: Document Cited by: p1.
- [9] (2014) Search interfaces for mathematicians. In Intelligent computer mathematicsIntelligent Computer Mathematics 2014, S. Watt, J. Davenport, A. Sexton, P. Sojka, and J. Urban (Eds.), LNCS, pp. 153–168. External Links: Link Cited by: p1.
- [11] (2014) A data model and encoding for a semantic, multilingual terminology of mathematics. In Intelligent computer mathematicsIntelligent Computer Mathematics 2014, S. Watt, J. Davenport, A. Sexton, P. Sojka, and J. Urban (Eds.), LNCS, pp. 169–183. External Links: Link Cited by: p1.
- [12] (2014) OpenMath language extensions. In Joint proceedings of the MathUI, OpenMath, PLMMS, and ThEdu workshops and work in progress at the conference on intelligent computer mathematics 2014MathUI, OpenMath, PLMMS, and ThEdu Workshops and Work in Progress at the Conference on Intelligent Computer Mathematics, M. England, J. H. Davenport, A. Kohlhase, M. Kohlhase, P. Libbrecht, W. Neuper, P. Quaresma, A. P. Sexton, P. Sojka, J. Urban, and S. M. Watt (Eds.), CEUR Workshop Proceedings. External Links: Link Cited by: p1.
- [3] (2013) NTCIR-10 Math pilot task overview. In NTCIR workshop 10 meetingNTCIR Workshop 10 Meeting, N. Kando and K. Kishida (Eds.), pp. 1–8. External Links: Link Cited by: p1.
- [4] (2013) OpenMathMap: accessing math via interactive maps. In Contemporary Issues in Mathematical Publishing, JMM San Diego Special Session, K. Kaiser, S. Krantz, and B. Wegner (Eds.), pp. 81–98. External Links: Link Cited by: p1.
- [5] (2013) OpenMathMap: accessing math via interactive maps. In Joint proceedings of the MathUI, OpenMath, PLMMS, and ThEdu workshops and work in progress at the conference on intelligent computer mathematics 2013MathUI, OpenMath, PLMMS, and ThEdu Workshops and Work in Progress at the Conference on Intelligent Computer Mathematics, C. Lange, D. Aspinall, J. Carette, J. Davenport, A. Kohlhase, M. Kohlhase, P. Libbrecht, P. Quaresma, F. Rabe, P. Sojka, I. Whiteside, and W. Windsteiger (Eds.), CEUR Workshop Proceedings. External Links: Link Cited by: p1.
- [10] (2013) MathWebSearch at NTCIR-10. In NTCIR workshop 10 meetingNTCIR Workshop 10 Meeting, N. Kando and K. Kishida (Eds.), pp. 675–679. External Links: Link Cited by: p1.

- [1] (2012-06) On digital corpora of scientific documents - knowledge management and representations. Note: unpublished KWARC blue notes External Links: Link Cited by: p1.
- [2] (2012-06) Towards a build system for digital corpora of scientific documents. Note: unpublished KWARC blue notes External Links: Link Cited by: p1.

- [1] (2013) OpenMathMap: accessing math via interactive maps. B. Sc. Thesis, Jacobs University Bremen. External Links: Link Cited by: p1.
- [2] (2013) An evaluation of responsive user interface options for multi-modal and mathematical search engines. Jacobs University. Note: Bachelor’s Thesis Cited by: p1.