Archival Literature

Articles in Journals

  1. [1] M. Kohlhase, H. Mihaljevic-Brandt, W. Sperber, and O. Teschke (2013-09) Zentralblatt column: mathematical formula search. EMS Newsletter, pp. 56–57. External Links: Link Cited by: p1.

Papers at International, Peer-Reviewed Conferences

  1. [1] R. Hambasan and M. Kohlhase (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. [2] M. Iancu, M. Kohlhase, and C. Prodescu (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.
  3. [4] A. Kohlhase (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.
  4. [5] A. Kohlhase (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.
  5. [7] M. Kohlhase, C. Prodescu, and C. Liguda (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. [6] M. Kohlhase, B. A. Matican, and C. C. Prodescu (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.
  7. [3] A. Kohlhase and M. Kohlhase (2007) Reexamining the MKM Value Proposition: From Math Web Search to Math Web ReSearch. 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.
  8. [9] I. Normann and M. Kohlhase (2007) Extended formula normalization for ϵ-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.
  9. [8] M. Kohlhase and I. Şucan (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.

Theses

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

Gray Literature

Papers at Peer-Reviewed Workshops

  1. [2] A. Aizawa, M. Kohlhase, I. Ounis, and R. Zanibbi (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.
  2. [8] A. Kohlhase (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.
  3. [5] R. Hambasan and M. Kohlhase (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.
  4. [1] A. Aizawa, M. Kohlhase, I. Ounis, and M. Schubotz (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.
  5. [4] R. Hambasan, M. Kohlhase, and C. Prodescu (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. [6] A. Kohlhase (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. [7] A. Kohlhase (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.
  8. [3] A. Aizawa, M. Kohlhase, and I. Ounis (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.
  9. [10] M. Kohlhase, C. Prodescu, and C. Liguda (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.
  10. [11] M. Kohlhase and C. Prodescu (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.
  11. [9] M. Kohlhase and M. Iancu (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. [12] C. C. Prodescu and M. Kohlhase (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.

Technical Reports

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

Unpublished

  1. [1] M. Kohlhase, Ş. Anca, C. Jucovschi, A. González Palomo, and I. A. Şucan (2008) MathWebSearch 0.4, a semantic search engine for mathematics. Note: manuscript External Links: Link Cited by: p1.