It would be nice if searching mathematical formulae like Zentralblatt Math http://zbmath.org/formulae/ could be implemented.
$\begingroup$
$\endgroup$
-
2$\begingroup$ Note brief discussion of this suggestion at the deleted answer at meta.mathoverflow.net/questions/1053/… $\endgroup$ – Gerry Myerson Mar 17 '14 at 23:54
-
2$\begingroup$ This uses something called MathWebSearch, which seems to be an experimental project. Perhaps someone should ask them if they'd be interested in ingesting the MathOverflow corpus. $\endgroup$ – Scott Morrison♦ Mar 20 '14 at 11:34
-
$\begingroup$ Related: Is there any third party search engine for MathOverflow? $\endgroup$ – Martin Sleziak Jan 4 '17 at 16:58
