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. ...

GammaRegularized[a, z] is the regularized incomplete gamma function Q(a, z).

GatherBy[list, f] gathers into sublists each set of elements in list that gives the same value when f is applied.GatherBy[list, {f_1, f_2, ...}] gathers list into nested ...

IrreduciblePolynomialQ[poly] tests whether poly is an irreducible polynomial over the rationals.IrreduciblePolynomialQ[poly, Modulus -> p] tests whether poly is irreducible ...

LyapunovSolve[a, c] finds a solution x of the matrix Lyapunov equation a.x + x.a\[ConjugateTranspose] == c.LyapunovSolve[a, b, c] solves a.x + x.b == c.LyapunovSolve[{a, d}, ...

MomentEvaluate[mexpr, dist] evaluates formal moments in the moment expression mexpr on the distribution dist.MomentEvaluate[mexpr, list] evaluates formal moments and formal ...

NestWhileList[f, expr, test] generates a list of the results of applying f repeatedly, starting with expr, and continuing until applying test to the result no longer yields ...

ParallelEvaluate[expr] evaluates the expression expr on all available parallel kernels and returns the list of results obtained.ParallelEvaluate[expr, kernel] evaluates expr ...

ParallelSubmit[expr] submits expr for evaluation on the next available parallel kernel and returns an EvaluationObject expression representing the submitted ...

PolyLog[n, z] gives the polylogarithm function Li_n (z).PolyLog[n, p, z] gives the Nielsen generalized polylogarithm function S n, p (z).