ForAllRealQ[ineqs, {x_1, x_2, ...}] tests whether for all real values of the x_i the inequalities and equations ineqs are satisfied.
ImpliesRealQ[ineqs_1, ineqs_2] tests whether the inequalities and equations ineqs_1 imply the ineqs_2 for all real values of all variables.
While there is typically one representation for exact numbers, approximate numbers can be presented differently according to the conventions of different professions or ...
ExpandNumerator[expr] expands out products and powers that appear in the numerator of expr.
TextRecognize[image] recognizes text in image and returns it as a string.
TrigToExp[expr] converts trigonometric functions in expr to exponentials.
When you set up mathematical formulas, you often have to introduce various kinds of local objects or "dummy variables". You can treat such dummy variables using modules and ...
DiscreteRatio[f, i] gives the discrete ratio f(i + 1)/f(i).DiscreteRatio[f, {i, n}] gives the multiple discrete ratio.DiscreteRatio[f, {i, n, h}] gives the multiple discrete ...
ParallelTable[expr, {i_max}] generates in parallel a list of i_max copies of expr.ParallelTable[expr, {i, i_max}] generates in parallel a list of the values of expr when i ...
ExpandAll[expr] expands out all products and integer powers in any part of expr. ExpandAll[expr, patt] avoids expanding parts of expr that do not contain terms matching the ...