Search Results for ""

Darboux's formula is a theorem on the expansion of functions in infinite series and essentially consists of integration by parts on a specific integrand product of functions. ...

The Davenport constant of a finite Abelian group G is defined to be the length of the longest minimal zero-system of G and is denoted D(G). Symbolically, ...

The first Debye function is defined by D_n^((1))(x) = int_0^x(t^ndt)/(e^t-1) (1) = x^n[1/n-x/(2(n+1))+sum_(k=1)^(infty)(B_(2k)x^(2k))/((2k+n)(2k!))], (2) for |x|<2pi, n>=1, ...

Does there exist an algorithm for deciding whether or not a specific mathematical assertion does or does not have a proof? The decision problem is also known as the ...

A differential k-form omega of degree p in an exterior algebra ^ V is decomposable if there exist p one-forms alpha_i such that omega=alpha_1 ^ ... ^ alpha_p, (1) where alpha ...

The inversion of a convolution equation, i.e., the solution for f of an equation of the form f*g=h+epsilon, given g and h, where epsilon is the noise and * denotes the ...

A function f(x) decreases on an interval I if f(b)<=f(a) for all b>a, where a,b in I. If f(b)<f(a) for all b>a, the function is said to be strictly decreasing. Conversely, a ...

A set partition of the rational numbers into two nonempty subsets S_1 and S_2 such that all members of S_1 are less than those of S_2 and such that S_1 has no greatest ...

The Dedekind psi-function is defined by the divisor product psi(n)=nproduct_(p|n)(1+1/p), (1) where the product is over the distinct prime factors of n, with the special case ...

A Dedekind ring is a commutative ring in which the following hold. 1. It is a Noetherian ring and a integral domain. 2. It is the set of algebraic integers in its field of ...