Search Results for ""

Let A and B be two algebras over the same signature Sigma, with carriers A and B, respectively (cf. universal algebra). B is a subalgebra of A if B subset= A and every ...

Let f(z) be an analytic function of z, regular in the half-strip S defined by a<x<b and y>0. If f(z) is bounded in S and tends to a limit l as y->infty for a certain fixed ...

If (1-z)^(alpha+beta-gamma-1/2)_2F_1(2alpha,2beta;2gamma;z)=sum_(n=0)^inftya_nz^n, (1) where _2F_1(a,b;c;z) is a hypergeometric function, then (2) where (a)_n is a Pochhammer ...

Consider a bivariate normal distribution in variables x and y with covariance rho=rho_(11)=<xy>-<x><y> (1) and an arbitrary function g(x,y). Then the expected value of the ...

If the integral coefficients C_0, C_1, ..., C_(N-1) of the polynomial f(x)=C_0+C_1x+C_2x^2+...+C_(N-1)x^(N-1)+x^N are divisible by a prime number p, while the free term C_0 ...

_3F_2[n,-x,-y; x+n+1,y+n+1] =Gamma(x+n+1)Gamma(y+n+1)Gamma(1/2n+1)Gamma(x+y+1/2n+1) ×Gamma(n+1)Gamma(x+y+n+1)Gamma(x+1/2n+1)Gamma(y+1/2n+1), (1) where _3F_2(a,b,c;d,e;z) is a ...

Any link can be represented by a closed braid.

Among the continuous functions on R^n, the positive definite functions are those functions which are the Fourier transforms of nonnegative Borel measures.

If O_(p^')(G)=1 and if x is a p-element of G, then L_(p^')(C_G(x))<=E(C_G(x)), where L_(p^') is the p-layer.

If X and Y are independent variates and X+Y is a normal distribution, then both X and Y must have normal distributions. This was proved by Cramér in 1936.