Envisioning Better Math Searching, Part I

Rob Corliss tells of finding the solution to a problem arising from a dynamical system in a Hungarian combinatorics journal. The problem involved a series, which he entered in to the The On-Line Encyclopedia of Integer Sequences

This is a special case of a math-aware keyword search: Enter a math expression and see where it appears in the literature.

Challenges: differing notations, detecting mathematical equivalence, etc.