Search Results for ""

In floating-point arithmetic, the significand is a component of a finite floating-point number containing its significant digits. Generally speaking, the significand can be ...

Consider a formula in prenex normal form, Q_1x_1...Q_nx_nN. If Q_i is the existential quantifier (1<=i<=n) and x_k, ..., x_m are all the universal quantifier variables such ...

The expansion of the two sides of a sum equality in terms of polynomials in x^m and y^k, followed by closed form summation in terms of x and y. For an example of the ...

The continued fraction for mu is given by [1; 2, 4, 1, 1, 1, 3, 1, 1, 1, 2, 47, 2, ...] (OEIS A099803). The positions at which the numbers 1, 2, ... occur in the continued ...

Borwein et al. (2004, pp. 4 and 44) term the expression of the integrals I_1 = int_0^1x^xdx (1) = 0.783430510... (2) I_2 = int_0^1(dx)/(x^x) (3) = 1.291285997... (4) (OEIS ...

The sequence produced by sorting the digits of a number and adding them to the previous number. The values starting with n=1, 2, ... are 2, 4, 6, 8, 10, 12, 14, 16, 18, 11, ...

A spatial point process is a point process which models data that is localized at a discrete set of locations in space or, more specifically, on a plane.

A collection of subsets of a topological space that is contained in a basis of the topology and can be completed to a basis when adding all finite intersections of the ...

The superfactorial of n is defined by Pickover (1995) as n$=n!^(n!^(·^(·^(·^(n!)))))_()_(n!). (1) The first two values are 1 and 4, but subsequently grow so rapidly that 3$ ...

A coordinate system (mu,nu,psi) given by the coordinate transformation x = (mucospsi)/(mu^2+nu^2) (1) y = (musinpsi)/(mu^2+nu^2) (2) z = nu/(mu^2+nu^2) (3) and defined for ...