Search Results for ""

The Kreisel conjecture is a conjecture in proof theory that postulates that, if phi(x) is a formula in the language of arithmetic for which there exists a nonnegative integer ...

The Lehmer-Mahler is the following integral representation for the Legendre polynomial P_n(x): P_n(costheta) = 1/piint_0^pi(costheta+isinthetacosphi)^ndphi (1) = ...

If two curves phi and psi of multiplicities r_i!=0 and s_i!=0 have only ordinary points or ordinary singular points and cusps in common, then every curve which has at least ...

Let f(1)=1, and let f(n) be the number of occurrences of n in a nondecreasing sequence of integers. then the first few values of f(n) are 1, 2, 2, 3, 3, 4, 4, 4, 5, 5, 5, ... ...

A kit consisting of colored rods and slotted balls that can be used to construct three-dimensional configurations. The balls into which the rods are placed resemble an ...

Wavelets are a class of a functions used to localize a given function in both space and scaling. A family of wavelets can be constructed from a function psi(x), sometimes ...

Let s(n)=sigma(n)-n, where sigma(n) is the divisor function and s(n) is the restricted divisor function. Then the sequence of numbers s^0(n)=n,s^1(n)=s(n),s^2(n)=s(s(n)),... ...

In December 1920, M. Schönfinkel presented in a report to the Mathematical Society in Göttingen a new type of formal logic based on the concept of a generalized function ...

The terms of equational logic are built up from variables and constants using function symbols (or operations). Identities (equalities) of the form s=t, (1) where s and t are ...

A surface of revolution of the form r(phi)=a[1-esin^2phi-(3/8e^2+k)sin^2(2phi)], where k is a second-order correction to the figure of a rotating fluid.