PolyGammaSimplify[expr] transforms polygamma functions in expr, trying to either decrease the number of polygamma functions, or convert combinations of them into more ...

PolyLogSimplify[expr] transforms polylogarithm functions in expr, trying to either decrease the number of polylogarithm functions, or convert combinations of them into more ...

ZetaSimplify[expr] transforms zeta functions in expr, trying to either decrease the number of zeta functions, or convert combinations of them into more elementary functions.

ImpliesQ[expr_1, expr_2] tests whether the expression expr_1 implies expr_2.

Using original algorithms developed at Wolfram Research, Mathematica has full coverage of all standard Bessel-related functions—evaluating every function to arbitrary ...

As the basis for many other special functions, Mathematica supports efficient arbitrary-precision evaluation of gamma functions, as well as an extensive web of relations and ...

Mathematica supports hyperbolic functions everywhere in the complex plane—with careful attention to branch cuts—and provides an extensive web of exact and algebraic ...

At the core of Mathematica is its highly developed symbolic language, which unifies a broad range of programming paradigms and uses its unique concept of symbolic programming ...

Permutations are among the most basic elements of discrete mathematics. They can be used to represent discrete groups of transformations and in particular play a key role in ...

There are a variety of ways to describe probability distributions such as probability density or mass, cumulative versions of density and mass, inverses of the cumulative ...