List of math search engines - mathjax/MathJax-docs GitHub Wiki
math search
- Symbolab
- SearchOnMath.com
- Springer LaTeX search
- http://formulasearchengine.com/ -- a local search engine (e.g. for MediaWiki)
- Approach0 -- A math-aware search engine for math Q&A websites.