Search Results for ""

A formal argument in logic in which it is stated that 1. P=>Q and R=>S (where => means "implies"), and 2. Either not-Q or not-S is true, from which two statements it follows ...

The Doppler spiral is the curve obtained from an Archimedes' spiral which is translated horizontally with speed k. It has parametric equations x(t) = a(tcost+kt) (1) y(t) = ...

The simplest algebraic language, denoted D. If X is the alphabet {x,x^_}, then D is the set of words u of X which satisfy 1. |u|_x=|u|_(x^_), where |u|_x is the numbers of ...

The involute of an ellipse specified parametrically by x = acost (1) y = bsint (2) is given by the parametric equations x_i = ...

The second singular value k_2, corresponding to K^'(k_2)=sqrt(2)K(k_2), (1) is given by k_2 = tan(pi/8) (2) = sqrt(2)-1 (3) k_2^' = sqrt(2)(sqrt(2)-1). (4) For this modulus, ...

The identity PVint_(-infty)^inftyF(phi(x))dx=PVint_(-infty)^inftyF(x)dx (1) holds for any integrable function F(x) and phi(x) of the form ...

For real, nonnegative terms x_n and real p with 0<p<1, the expression lim_(k->infty)x_0+(x_1+(x_2+(...+(x_k)^p)^p)^p)^p converges iff (x_n)^(p^n) is bounded.

The triangle DeltaA^'B^'C^' formed by the points of pairwise intersection of the three intangents. It is not in perspective with DeltaABC. It has trilinear vertex matrix ...

One of the "knots" t_(p+1), ..., t_(m-p-1) of a B-spline with control points P_0, ..., P_n and knot vector T={t_0,t_1,...,t_m}, where p=m-n-1.

The system of ordinary differential equations (dm)/(dt) = lambdamxm+gammax1 (1) (dgamma)/(dt) = lambdagammaxm. (2)