Search Results for ""

Let {a_n} be a nonnegative sequence and f(x) a nonnegative integrable function. Define A_n=sum_(k=1)^na_k (1) and F(x)=int_0^xf(t)dt (2) and take p>1. For sums, ...

Consider a first-order logic formula Phi in Skolemized form forall x_1... forall x_nS. Then the Herbrand universe H of S is defined by the following rules. 1. All constants ...

An axiom proposed by Huntington (1933) as part of his definition of a Boolean algebra, H(x,y)=!(!x v y) v !(!x v !y)=x, (1) where !x denotes NOT and x v y denotes OR. Taken ...

An independent variable is a variable whose values don't depend on changes in other variables. This is in contrast to the definition of dependent variable. As with dependent ...

A bijective map between two metric spaces that preserves distances, i.e., d(f(x),f(y))=d(x,y), where f is the map and d(a,b) is the distance function. Isometries are ...

A theorem in the theory of univalent conformal mappings of families of domains on a Riemann surface, containing an inequality for the coefficients of the mapping functions, ...

Knuth's series is given by S = sum_(k=1)^(infty)((k^k)/(k!e^k)-1/(sqrt(2pik))) (1) = -2/3-1/(sqrt(2pi))zeta(1/2) (2) = -0.08406950872765599646... (3) (OEIS A096616), where ...

Levenberg-Marquardt is a popular alternative to the Gauss-Newton method of finding the minimum of a function F(x) that is a sum of squares of nonlinear functions, ...

The Longuet-Higgins circle is the radical circle of the circles centered at the vertices A, B, and C of a reference triangle with respective radii b+c, c+a, and a+b. Its ...

The function defined by y=ks^xb^(q^x) which is used in actuarial science for specifying a simplified mortality law (Kenney and Keeping 1962, pp. 241-242). Using s(x) as the ...