It would be nice if searching mathematical formulae like Zentralblatt Math http://zbmath.org/formulae/ could be implemented.
$\begingroup$
$\endgroup$
3

2$\begingroup$ Note brief discussion of this suggestion at the deleted answer at meta.mathoverflow.net/questions/1053/… $\endgroup$– Gerry MyersonMar 17, 2014 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$– Kim MorrisonMar 20, 2014 at 11:34

$\begingroup$ Related: Is there any third party search engine for MathOverflow? $\endgroup$– Martin SleziakJan 4, 2017 at 16:58
Add a comment
