> I maintain that in the not so distant future, someone is going to write a math-search engine (or at least they should) I think this is one of those things th

> I maintain that in the not so distant future, someone is going to write a math-search engine (or at least they should) I think this is one of those things that has been in the not-so-distant future for longer than you'd think. See [Mathematical knowledge management](https://en.wikipedia.org/wiki/Mathematical_knowledge_management https://en.wikipedia.org/wiki/Mathematical_knowledge_managem...) for a general overview, and [OMDoc](https://en.wikipedia.org/wiki/OMDoc https://en.wikipedia.org/wiki/OMDoc) in particular. This mathematician-but-not-expert-in-this-stuff particularly associates [Michael Kohlhase](https://en.wikipedia.org/wiki/Michael_Kohlhase https://en.wikipedia.org/wiki/Michael_Kohlhase) with research in the area.