NotebookConvert["name"] converts a Mathematica notebook from a previous version of Mathematica to one for the current version.
TrigToRadicals[expr] converts trigonometric functions to radicals whenever possible in expr.
CompileEvaluate[expr] compiles expr and then evaluates the resulting compiled code.
ExistsRealQ[ineqs, {x_1, x_2, ...}] tests whether there exist real values of the x_i for which the inequalities and equations ineqs are satisfied.
ForAllRealQ[ineqs, {x_1, x_2, ...}] tests whether for all real values of the x_i the inequalities and equations ineqs are satisfied.
ImpliesQ[expr_1, expr_2] tests whether the expression expr_1 implies expr_2.
ImpliesRealQ[ineqs_1, ineqs_2] tests whether the inequalities and equations ineqs_1 imply the ineqs_2 for all real values of all variables.
ElementToPolynomial[e, s] gives a polynomial in the symbol s corresponding to the field element e.ElementToPolynomial[f, s] gives the irreducible polynomial in s of the field ...
FunctionOfCoefficients[g] is a setting for the option FormatType that specifies the format g[c_0, c_1, ...] for an element, where c_0, c_1, ... are the coefficients in the ...