Packing a large number of sophisticated algorithms—many recent and original—into a powerful collection of functions, Mathematica draws on almost every major result in number ...

Mathematica has a flexible system for specifying arbitrary symbolic assumptions about variables. It uses a wide range of sophisticated algorithms to infer the consequences of ...

With its convenient symbolic representation of algebraic numbers, Mathematica's state-of-the-art algebraic number theory capabilities provide a concrete implementation of one ...

Mathematica supports zeta and polylogarithm functions of a complex variable in full generality, performing efficient arbitrary-precision evaluation and implementing extensive ...

In calculus even more than other areas, Mathematica packs centuries of mathematical development into a small number of exceptionally powerful functions. Continually enhanced ...

Built into Mathematica is the world's largest collection of both numerical and symbolic equation solving capabilities—with many original algorithms, all automatically ...

Throughout Mathematica there is support not only for approximate real numbers, but also for exact numbers represented in algebraic or symbolic form. Functions like Floor, ...

Although Diophantine equations provide classic examples of undecidability, Mathematica in practice succeeds in solving a remarkably wide range of such equations—automatically ...

Mathematica contains hundreds of original algorithms for computing integer functions involving integers of any size.

Mathematica has been used to make many important discoveries in discrete mathematics over the past two decades. Its integration of highly efficient and often original ...