ButcherBeta[tree] gives the number of ways of labeling tree with ButcherOrder[tree] - 1 distinct labels such that the root is not labeled, but every other vertex is labeled. ...

RiemannR[x] gives the Riemann prime counting function R(x).

Simplify[expr] performs a sequence of algebraic and other transformations on expr, and returns the simplest form it finds. Simplify[expr, assum] does simplification using ...

FindInstance[expr, vars] finds an instance of vars that makes the statement expr be True. FindInstance[expr, vars, dom] finds an instance over the domain dom. Common choices ...

FindSet[n, s] gives the root of the set containing n in union-find data structure s.

PaletteNotebook[{cell_1, cell_2, ...}] represents a palette notebook that can be manipulated by the Mathematica front end.

Coth[z] gives the hyperbolic cotangent of z.

Implicit Runge–Kutta methods have a number of desirable properties. The Gauss–Legendre methods, for example, are self-adjoint, meaning that they provide the same solution ...

The Mathematica functions Reduce, Resolve, and FindInstance allow you to solve a wide variety of problems that can be expressed in terms of equations and inequalities. The ...

There are some close connections between finding a "local minimum" and solving a set of nonlinear equations. Given a set of n equations in n unknowns, seeking a solution r(x) ...