Mathematica 7 introduces a new level of systematic integer sequence analysis, including sequence generation, transforms and sequence recognition. Recent algorithmic advances at Wolfram Research for the first time make it possible to take lists of sequence elements and systematically find large classes of closed-form Mathematica formulas for them—allowing robust integer sequence recognition to become a routine part of programmatic discovery in experimental mathematics.