SymmetricReduction[f, {x_1, ..., x_n}] gives a pair of polynomials {p, q} in x_1, ..., x_n such that f == p + q, where p is the symmetric part and q is the ...
Minimize[f, x] minimizes f with respect to x.Minimize[f, {x, y, ...}] minimizes f with respect to x, y, .... Minimize[{f, cons}, {x, y, ...}] minimizes f subject to the ...
Hundreds of thousands of mathematical results derived at Wolfram Research give Mathematica unprecedented strength in the transformation and simplification of hypergeometric ...
TransformationFunctions is an option for Simplify and FullSimplify which gives the list of functions to apply to try to transform parts of an expression.
Simplifying with assumptions. Mathematica does not automatically simplify this, since it is only true for some values of x. Sqrt[x^2] is equal to x for x≥0, but not otherwise.
There are many ways to use symbols in Mathematica. Here we use symbols as 'tags' for different types of objects. Working with physical units gives one simple example. When ...
Boole
(Built-in Mathematica Symbol) Boole[expr] yields 1 if expr is True and 0 if it is False.
Log
(Built-in Mathematica Symbol) Log[z] gives the natural logarithm of z (logarithm to base e). Log[b, z] gives the logarithm to base b.
Refine
(Built-in Mathematica Symbol) Refine[expr, assum] gives the form of expr that would be obtained if symbols in it were replaced by explicit numerical expressions satisfying the assumptions assum. ...
Resultant[poly_1, poly_2, var] computes the resultant of the polynomials poly_1 and poly_2 with respect to the variable var. Resultant[poly_1, poly_2, var, Modulus -> p] ...