Skip to content
Snippets Groups Projects
Normal view Permalink
smglom.tex 662 B
Newer Older
  • Learn to ignore specific revisions
    • Michael Kohlhase's avatar
    more projects
    Michael Kohlhase committed
    1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 
    ---
layout: project
menu_title: MathSearch
title: "The MathSearch Project"
pillar: KMR
start: 2012
end: 2015
people: mkohlhase,dginev
---

The MathSearch Project develops a semantic search engine for mathematics in collaboration
with the [ZBMath Group](https://zbmath.org/about/) at
[FIZ Karlsruhe](https://www.fiz-karlsruhe.de/). It is funded by the
[Leibniz Foundation](https://www.leibniz-gemeinschaft.de/) as SAW project
AW-2012-FIZ_KA-2.

We have deployed an instance of [MathWebSearch](/projects/mws/) engine as part of the
[ZBMath Information System](http://zbmath.org) (see the "Formulae" tab there), and we have
started the [SMGloM](/projects/smglom/).