Search engine for LaTeX equations

Provided by Springer here.
Unlike other LaTeX sites that provide code specifically for equation names; this seems to be a search engine for the LaTeX source of papers they have collected.