Search Results for ""

A theorem which plays a fundamental role in computer science because it is one of the main tools for showing that certain orderings on trees are well-founded. These orderings ...

Writing a Fourier series as f(theta)=1/2a_0+sum_(n=1)^(m-1)sinc((npi)/(2m))[a_ncos(ntheta)+b_nsin(ntheta)], where m is the last term, reduces the Gibbs phenomenon. The ...

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

A Lehner continued fraction is a generalized continued fraction of the form b_0+(e_1)/(b_1+(e_2)/(b_2+(e_3)/(b_3+...))) where (b_i,e_(i+1))=(1,1) or (2, -1) for x in [1,2) an ...

The distance between two skew lines with equations x = x_1+(x_2-x_1)s (1) x = x_3+(x_4-x_3)t (2) is given by D=(|(x_3-x_1)·[(x_2-x_1)x(x_4-x_3)]|)/(|(x_2-x_1)x(x_4-x_3)|) (3) ...

The line integral of a vector field F(x) on a curve sigma is defined by int_(sigma)F·ds=int_a^bF(sigma(t))·sigma^'(t)dt, (1) where a·b denotes a dot product. In Cartesian ...

The Lorentzian function is the singly peaked function given by L(x)=1/pi(1/2Gamma)/((x-x_0)^2+(1/2Gamma)^2), (1) where x_0 is the center and Gamma is a parameter specifying ...

The problem of finding the strategy to guarantee reaching the boundary of a given region ("forest") in the shortest distance (i.e., a strategy having the best worst-case ...

A method for computing the prime counting function. Define the function T_k(x,a)=(-1)^(beta_0+beta_1+...+beta_(a-1))|_x/(p_1^(beta_0)p_2^(beta_1)...p_a^(beta_(a-1)))_|, (1) ...

For triangles in the plane, AD·BE·CF=BD·CE·AF. (1) For spherical triangles, sinAD·sinBE·sinCF=sinBD·sinCE·sinAF. (2) This can be generalized to n-gons P=[V_1,...,V_n], where ...