Search Results for ""

A random-connection model (RCM) is a graph-theoretic model of continuum percolation theory characterized by the existence of a stationary point process X and a non-increasing ...

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 ...

There are a number of formulas variously known as Hurwitz's formula. The first is zeta(1-s,a)=(Gamma(s))/((2pi)^s)[e^(-piis/2)F(a,s)+e^(piis/2)F(-a,s)], where zeta(z,a) is a ...

The Fransén-Robinson constant F is defined by F=int_0^infty(dx)/(Gamma(x))=2.8077702420... (OEIS A058655) where Gamma(x) is the gamma function. No closed-form expression in ...

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.

The image of the path gamma in C under the function f is called the trace. This usage of the term "trace" is unrelated to the same term applied to matrices or tensors.

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.

rho_(2s)(n)=(pi^s)/(Gamma(s))n^(s-1)sum_(p,q)((S_(p,q))/q)^(2s)e^(2nppii/q), where S_(p,q) is a Gaussian sum, and Gamma(s) is the gamma function.