Mathematica represents Boolean expressions in symbolic form, so they can not only be evaluated, but also be symbolically manipulated and transformed. Incorporating ...

With careful attention to branch cuts, Mathematica supports trigonometric functions everywhere in the complex plane, with extensive exact and algebraic transformations, ...

Gudermannian[z] gives the Gudermannian function gd(z).

Mathematica's symbolic character allows it to provide deep integrated support for algebraic numbers. At the core are Root objects, which provide exact implicit ...

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 ...

False is the symbol for the Boolean value false.

True is the symbol for the Boolean value true.

CauchyDistribution[a, b] represents a Cauchy distribution with location parameter a and scale parameter b.

PossibleZeroQ[expr] gives True if basic symbolic and numerical methods suggest that expr has value zero, and gives False otherwise.

While DSolve usually returns the correct solution to a differential equation it is given, it is common practice to verify the solution returned by any differential equation ...