This major update of Wolfram's technical computing environment adds free-form linguistic input, integration with Wolfram|Alpha, automated probability and statistics superfunctions, a streamlined process for parameter estimate and goodness-of-fit testing, group theory algorithms, and much more.