Search Results for ""

The identity sum_(y=0)^m(m; y)(w+m-y)^(m-y-1)(z+y)^y=w^(-1)(z+w+m)^m (Bhatnagar 1995, p. 51). There are a host of other such binomial identities.

Given a homogeneous linear second-order ordinary differential equation, y^('')+P(x)y^'+Q(x)y=0, (1) call the two linearly independent solutions y_1(x) and y_2(x). Then ...

Abel's integral is the definite integral I = int_0^infty(tdt)/((e^(pit)-e^(-pit))(t^2+1)) (1) = 1/2int_(-infty)^infty(tdt)/((e^(pit)-e^(-pit))(t^2+1)) (2) = ...

If one root of the equation f(x)=0, which is irreducible over a field K, is also a root of the equation F(x)=0 in K, then all the roots of the irreducible equation f(x)=0 are ...

Let {u_n(x)} be a sequence of functions. If 1. u_n(x) can be written u_n(x)=a_nf_n(x), 2. suma_n is convergent, 3. f_n(x) is a monotonic decreasing sequence (i.e., ...

The inequality sinAsinBsinC<=((3sqrt(3))/(2pi))^3ABC, where A, B, and C are the vertex angles of a triangle. The maximum is reached for an equilateral triangle (and therefore ...

A series sum_(n)u_n is said to converge absolutely if the series sum_(n)|u_n| converges, where |u_n| denotes the absolute value. If a series is absolutely convergent, then ...

A measure lambda is absolutely continuous with respect to another measure mu if lambda(E)=0 for every set with mu(E)=0. This makes sense as long as mu is a positive measure, ...

The law appearing in the definition of Boolean algebras and lattice which states that a ^ (a v b)=a v (a ^ b)=a for binary operators v and ^ (which most commonly are logical ...

An abstract machine is a model of a computer system (considered either as hardware or software) constructed to allow a detailed and precise analysis of how the computer ...