Building on two decades of leadership in special functions, Mathematica 7 adds several major new categories of special functions, particularly ones of importance in modern combinatorics and number theory. Many of the functions have been studied extensively in the theoretical literature, but Mathematica 7 for the first time makes them computable in practice--allowing a host of new applications and experiments.