## Envisioning Better Math Searching, Part IRob 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: Challenges: differing notations, detecting mathematical equivalence, etc. |