Search engine for the On-line Encyclopedia of Integer Sequences based on MathWebSearch and MMT.

Try it at: http://oeissearch.mathweb.org