A core activity in exploratory experimental mathematics is recognition of numbers: going backward from a number to find out how it can be generated. Mathematica provides ...

 

TransformationFunctions is an option for Simplify and FullSimplify which gives the list of functions to apply to try to transform parts of an expression.

Mathematica's symbolic architecture allows it to represent any equation as a symbolic expression that can be manipulated using any of Mathematica's powerful collection of ...

ComplexityFunction is an option for Simplify and other functions which gives a function to rank the complexity of different forms of an expression.

Two decades of intense R&D at Wolfram Research have given Mathematica by far the world's broadest and deepest coverage of special functions—and greatly expanded the whole ...

Booleans represents the domain of Booleans, as in x \[Element] Booleans.

The representation of algebraic numbers. When you enter a Root object, the polynomial that appears in it is automatically reduced to a minimal form. This extracts the pure ...

These "How tos" give step-by-step instructions for common tasks related to algebraic computation in Mathematica .

Negative[x] gives True if x is a negative number.