Search Results for ""

The United States Department of Commerce recommends that the notation lbx be used to refer to the binary logarithm log_2x (Taylor 1995, p. 33). However, this practice is not ...

The symbol ldx is occasionally used in German literature to refer to the binary logarithm. However, the United States Department of Commerce recommends that the notation lbx ...

If algebraic integers alpha_1, ..., alpha_n are linearly independent over Q, then e^(alpha_1), ..., e^(alpha_n) are algebraically independent over Q. The ...

Given a Lyapunov characteristic exponent sigma_i, the corresponding Lyapunov characteristic number lambda_i is defined as lambda_i=e^(sigma_i). (1) For an n-dimensional ...

The mean clustering coefficient of a graph G is the average of the local clustering coefficients of G. It is implemented in the Wolfram Language as ...

If lim_(z->z_0)(f(z)-f(z_0))/(z-z_0) is the same for all paths in the complex plane, then f(z) is said to be monogenic at z_0. Monogenic therefore essentially means having a ...

A constant appearing in formulas for the efficiency of the Euclidean algorithm, B = (12ln2)/(pi^2)[-1/2+6/(pi^2)zeta^'(2)]+C-1/2 (1) = 0.06535142... (2) (OEIS A143304), where ...

The four of Hilbert's axioms which concern the arrangement of points.

Given four points, A, B, C, and H, let H be the orthocenter of DeltaABC. Then A is the orthocenter DeltaHBC, B is the orthocenter of DeltaHAC, and C is the orthocenter of ...

If two pairs of opposite sides of a complete quadrilateral are pairs of perpendicular lines, the quadrilateral is said to be orthocentric. In such a case, the remaining sides ...