MathSearch: Analyse und Suche in mathematischen Formeln
Funding: Leibniz Foundation
Program: SAW
Grant ID: SAW-2012-FIZ_KA-2
Prof. Dr. Michael Kohlhase 
M.Sc. Deyan Ginev
Funds: 
KAT LLaMaPuN 
MathHub 
MMT 
OMDoc OpenMathMap sTeX SMGLoM
Methods for information extraction and information retrieval for mathematical documents with the aim of providing semantically enhanced interaction for Zentralblatt Math and the arXiv.
From: March 2012
To: February 2015
Funding: Leibniz Foundation
Program: SAW
Grant ID: SAW-2012-FIZ_KA-2
Prof. Dr. Michael Kohlhase M.Sc. Deyan Ginev Funds:
KAT LLaMaPuN MathHub MMT MWS
OMDoc OpenMathMap sTeX SMGLoM The MathSearch Project develops a semantic search engine for mathematics in collaboration with the ZBMath Group at FIZ Karlsruhe. It is funded by the Leibniz Foundation as SAW project AW-2012-FIZ_KA-2.
We have deployed an instance of MathWebSearch engine as part of the ZBMath Information System (see the “Formulae” tab there), and we have started the SMGloM.