Search Results for ""

Partial evaluation is a branch of computer science studying program transformation via specialization. Any function can be specialized by fixing one or more of its inputs to ...

Define a pebbling move as a transer of two pebbles from one vertex of a graph edge to an adjacent vertex with one of the pebbles being removed in transit as a toll. The ...

A series is called artistic if every three consecutive terms have a common three-way ratio P[a_i,a_(i+1),a_(i+2)]=((a_i+a_(i+1)+a_(i+2))a_(i+1))/(a_ia_(i+2)). A series is ...

A convex planar domain in which the minimal generalized diameter is >1 always contains a circle of radius 1/3.

Given a geometric sequence {a_1,a_1r,a_1r^2,...}, the number r is called the common ratio associated to the sequence.

The five of Hilbert's axioms which concern geometric equivalence.

If the lines joining corresponding points of two directly similar figures are divided proportionally, then the locus of the points of the division will be a figure directly ...

By analogy with the geometric centroid, the centroid of an arbitrary function f(x) is defined as <x>=(intxf(x)dx)/(intf(x)dx), (1) where the integrals are taken over the ...

The Heronian mean of two numbers a and b is defined as HM(a,b) = 1/3(2A+G) (1) = 1/3(a+sqrt(ab)+b), (2) where A is the arithmetic mean and G the geometric mean. It arises in ...

The hinge theorem says that if two triangles DeltaABC and DeltaA^'B^'C^' have congruent sides AB=A^'B^' and AC=A^'C^' and ∠A>∠A^', then BC>B^'C^'.