For more than 20 years,
Mathematica has been steadily expanding the domain of numeric and symbolic computational number theory, taking theoretical constructs, and implementing them in a convenient and consistent computational form.
Mathematica 7 introduces a broad range of new capabilities of importance across analytic, multiplicative and additive number theory.