Search Results for ""

Lagrange's identity is the algebraic identity (sum_(k=1)^na_kb_k)^2=(sum_(k=1)^na_k^2)(sum_(k=1)^nb_k^2)-sum_(1<=k<j<=n)(a_kb_j-a_jb_k)^2 (1) (Mitrinović 1970, p. 41; Marsden ...

Roman (1984, p. 2) describes umbral calculus as the study of the class of Sheffer sequences. Umbral calculus provides a formalism for the systematic derivation and ...

sum_(n=0)^(infty)[(q)_infty-(q)_n] = g(q)+(q)_inftysum_(k=1)^(infty)(q^k)/(1-q^k) (1) = g(q)+(q)_inftyL(q) (2) = g(q)+(q)_infty(psi_q(1)+ln(1-q))/(lnq) (3) = ...

A determinant appearing in Padé approximant identities: C_(r/s)=|a_(r-s+1) a_(r-s+2) ... a_r; | | ... |; a_r a_(r+1) ... a_(r+s-1)|.

The Knuth-Bendix completion algorithm attempts to transform a finite set of identities into a finitely terminating, confluent term rewriting system whose reductions preserve ...

Angle addition formulas express trigonometric functions of sums of angles alpha+/-beta in terms of functions of alpha and beta. The fundamental formulas of angle addition in ...

A partial differential equation (PDE) is an equation involving functions and their partial derivatives; for example, the wave equation ...

A vertex-transitive graph, also sometimes called a node symmetric graph (Chiang and Chen 1995), is a graph such that every pair of vertices is equivalent under some element ...

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.

If, for n>=0, beta_n=sum_(r=0)^n(alpha_r)/((q;q)_(n-r)(aq;q)_(n+r)), (1) then beta_n^'=sum_(r=0)^n(alpha_r^')/((q;q)_(n-r)(aq;q)_(n+r)), (2) where alpha_r^' = ...