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

Given a Taylor series f(x)=f(x_0)+(x-x_0)f^'(x_0)+((x-x_0)^2)/(2!)f^('')(x_0)+... +((x-x_0)^n)/(n!)f^((n))(x_0)+R_n, (1) the error R_n after n terms is given by ...

Let L=(L, ^ , v ) and K=(K, ^ , v ) be lattices, and let h:L->K. A lattice isomorphism is a one-to-one and onto lattice homomorphism.

A fractal curve, also called the C-curve (Gosper 1972). The base curve and motif are illustrated below. Duvall and Keesling (1999) proved that the Hausdorff dimension of the ...

For any algebraic number x of degree n>2, a rational approximation p/q to x must satisfy |x-p/q|>1/(q^n) for sufficiently large q. Writing r=n leads to the definition of the ...

The Ljubljana graph is a graph on 112 vertices that is the third smallest cubic semisymmetric graph. It was discovered by Brouwer et al. (1993) and rediscovered by Conder et ...

A topology tau on a topological vector space X=(X,tau) (with X usually assumed to be T2) is said to be locally convex if tau admits a local base at 0 consisting of balanced, ...

The so-called Malthusian equation is an antiquated term for the equation N(t)=N_0e^(lambdat) describing exponential growth. The constant lambda is sometimes called the ...

The inconic having inconic parameters x:y:z=a/(b+c-a):b/(a+c-b):c/(a+b-c). Its center is the mittenpunkt M of the triangle and its Brianchon point is the Nagel point Na. The ...

The study of the inner structure of a mathematical theory considered as a whole. It deals with the general properties of the rules according to which the objects of a certain ...