Log10[x] gives the base-10 logarithm of x.

Sum[f, {i, i_max}] evaluates the sum \[Sum]i = 1 i_max f. Sum[f, {i, i_min, i_max}] starts with i = i_min. Sum[f, {i, i_min, i_max, di}] uses steps d i. Sum[f, {i, {i_1, i_2, ...

If you have special-purpose programs written in C or Fortran, you may want to take formulas you have generated in Mathematica and insert them into the source code of your ...

Nested logical and piecewise functions can be expanded out much like nested arithmetic functions. You can do this using LogicalExpand and PiecewiseExpand. Expanding out ...

LeveneTest[data] tests whether the variance of data is 1. LeveneTest[{data_1, data_2}] tests whether the variances of data_1 and data_2 are equal.LeveneTest[dspec, ...

DiscreteShift[f, i] gives the discrete shift DiscreteShift[f(i), i] == f(i + 1). DiscreteShift[f, {i, n}] gives the multiple shift \[DiscreteShift]_i^n\ f.DiscreteShift[f, ...

ForAll[x, expr] represents the statement that expr is True for all values of x. ForAll[x, cond, expr] states that expr is True for all x satisfying the condition cond. ...

x >= y or x >= y yields True if x is determined to be greater than or equal to y. x_1 >= x_2 >= x_3 yields True if the x_i form a non-increasing sequence.

x <= y or x <= y yields True if x is determined to be less than or equal to y. x_1 <= x_2 <= x_3 yields True if the x TraditionalForm\`i form a nondecreasing sequence.

MeijerG[{{a_1, ..., a_n}, {a n + 1, ..., a_p}}, {{b_1, ..., b_m}, {b m + 1, ..., b_q}}, z] is the Meijer G function G_p q^m n(z \[VerticalSeparator] {{a_1, ..., a_p}, {b_1, ...