Search Results for ""

Let phi_x^((k)) denote the recursive function of k variables with Gödel number x, where (1) is normally omitted. Then if g is a partial recursive function, there exists an ...

The inverse function of the logarithm, defined such that log_b(antilog_bz)=z=antilog_b(log_bz). The antilogarithm in base b of z is therefore b^z.

A type of integral named after Henstock and Kurzweil. Every Lebesgue integrable function is HK integrable with the same value.

Topological lower bounds in terms of Betti numbers for the number of critical points form a smooth function on a smooth manifold.

j_n(z)=(z^n)/(2^(n+1)n!)int_0^picos(zcostheta)sin^(2n+1)thetadtheta, where j_n(z) is a spherical Bessel function of the first kind.

A^n+B^n=sum_(j=0)^(|_n/2_|)(-1)^jn/(n-j)(n-j; j)(AB)^j(A+B)^(n-2j), where |_x_| is the floor function and (n; k) is a binomial coefficient.

alpha(x) = 1/(sqrt(2pi))int_(-x)^xe^(-t^2/2)dt (1) = sqrt(2/pi)int_0^xe^(-t^2/2)dt (2) = 2Phi(x) (3) = erf(x/(sqrt(2))), (4) where Phi(x) is the normal distribution function ...

A generalized hypergeometric function _pF_q[alpha_1,alpha_2,...,alpha_p; beta_1,beta_2,...,beta_q;z], is said to be Saalschützian if it is k-balanced with k=1, ...

If the random variates X_1, X_2, ... satisfy the Lindeberg condition, then for all a<b, lim_(n->infty)P(a<(S_n)/(s_n)<b)=Phi(b)-Phi(a), where Phi is the normal distribution ...

A bounded entire function in the complex plane C is constant. The fundamental theorem of algebra follows as a simple corollary.