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.