Please respect any copyrights when downloading

- [1] (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.
- [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.
- [4] (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.
- [5] (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] (2013) XLSearch: a search engine for spreadsheets. In Symp. of the european spreadsheet risks interest group (EuSpRIG 2013)Symp. of the European Spreadsheet Risks Interest Group (EuSpRIG 2013), External Links: Link Cited by: p1.
- [6] (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.
- [3]
(2007)
*Re*examining the MKM Value Proposition: From Math Web Search to Math Web*Re*Search. In MKM/CalculemusTowards Mechanized Mathematical Assistants. MKM/Calculemus, M. Kauers, M. Kerber, R. Miner, and W. Windsteiger (Eds.), LNAI, pp. 266–279. External Links: Link Cited by: p1. - [9] (2007) Extended formula normalization for $\u03f5$-retrieval and sharing of mathematical knowledge. In MKM/CalculemusTowards Mechanized Mathematical Assistants. MKM/Calculemus, M. Kauers, M. Kerber, R. Miner, and W. Windsteiger (Eds.), LNAI, pp. 266–279. Cited by: p1.
- [8] (2006) A search engine for mathematical formulae. In Proceedings of artificial intelligence and symbolic computation, AISC’2006Proceedings of Artificial Intelligence and Symbolic Computation, AISC’2006, T. Ida, J. Calmet, and D. Wang (Eds.), LNAI, pp. 241–253. External Links: Link Cited by: p1.

- [1] (2019-12) Diagram chasing done meta – formula search for nLab. B.Sc. Thesis, FAU Erlangen-Nürnberg. External Links: Link Cited by: p1.
- [2] (2015) Semantic search for quantity expressions. B. Sc. Thesis, Jacobs University Bremen. External Links: Link Cited by: p1.

- [2] (2016) NTCIR-12 MathIR task overview. In Proceedings of the 12th ntcir conference on evaluation of information access technologiesProceedings of the 12th NTCIR Conference on Evaluation of Information Access Technologies, N. Kando, T. Sakai, and M. Sanderson (Eds.), pp. 299–308. External Links: Link Cited by: p1.
- [8] (2016) Math web search interfaces and the generation gap of mathematicians. In Workshop Human-Computer Algebra Interaction, Kassel, Germany, External Links: Link Cited by: p1.
- [5] (2015-10) Faceted search for mathematics. In Proceedings of the LWA 2015 workshops: KDML, FGWM, IR, and FGDBProceedings of the LWA 2015 Workshops: KDML, FGWM, IR, and FGDB, R. Bergmann, S. Görg, and G. Müller (Eds.), pp. 33–44. External Links: Link Cited by: p1.
- [1] (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.
- [4] (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.
- [6] (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.
- [7] (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.
- [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.
- [10] (2013) XLSearch: a search engine for spreadsheets. In Symp. of the european spreadsheet risks interest group (EuSpRIG 2013)Symp. of the European Spreadsheet Risks Interest Group (EuSpRIG 2013), External Links: Link Cited by: p1.
- [11] (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.
- [9] (2012) Searching the space of mathematical knowledge. In DML and MIR 2012DML and MIR 2012, P. Sojka and M. Kohlhase (Eds.), External Links: Link Cited by: p1.
- [12] (2011-09) MathWebSearch 0.5 - open formula search engine. In Wissens- und erfahrungsmanagement LWA (lernen, wissensentdeckung und adaptivität) conference proceedingsWissens- und Erfahrungsmanagement LWA (Lernen, Wissensentdeckung und Adaptivität) Conference Proceedings, External Links: Link Cited by: p1.

- [1] (2016) Full-text search (formulae + keywords) over latex-based documents. Deliverable Technical Report D6.1, OpenDreamKit. External Links: Link Cited by: p1.
- [2] MathWebSearch manual. Web Manual Jacobs University. External Links: Link Cited by: p1.