Math Web Search Publications

• Michael Kohlhase, Bogdan A. Matican, and Corneliu C. Prodescu:  MathWebSearch 0.5 - Scaling an Open Formula Search Engine,  CICM 2012
• Mihnea Iancu, Michael Kohlhase, Florian Rabe, and Josef Urban:  The Mizar Mathematical Library in OMDoc: Translation and Applications, submitted 2011.
• Corneliu C. Prodescu and Michael Kohlhase:  MathWebSearch 0.5 - Open Formula Search Engine, LWA 2011. ( BibTeX entry)
• Michael Kohlhase, Stefan Anca, Constantin Jucovschi, Alberto Gonzalez Palomo, and Ioan A. Sucan:  MathWebSearch 0.4: A Semantic Search Engine for Mathematics, rejected at MKM 2008. ( BibTeX entry)
• Stefan Anca:  MaTeSearch - A combined math and text search engine Bachelor's Thesis, at Jacobs University 2007.
• Michael Kohlhase and Andrea Kohlhase:  Reexamining the MKM Value Proposition: From Math Web Search to Math Web ReSearch, MKM 2007. ( BibTeX entry)
• Michael Kohlhase and Ioan Sucan:  A Search Engine for Mathematical Formulae, Artificial Intelligence and Symbolic Computation, Springer Verlag, 2006. ( BibTeX entry)