Search Results for ""

Let x->y and u->v be two rules of a term rewriting system, and suppose these rules have no variables in common. If they do, rename the variables. If x_1 is a subterm of x (or ...

The cubohemioctahedron is the uniform polyhedron with Maeder index 15 (Maeder 1997), Wenninger index 78 (Wenninger 1989), Coxeter index 51 (Coxeter et al. 1954), and Har'El ...

The point on the positive ray of the normal vector at a distance rho(s), where rho is the radius of curvature. It is given by z = x+rhoN (1) = x+rho^2(dT)/(ds), (2) where N ...

Let DeltaA^'B^'C^' be a triangle perspective to a reference triangle DeltaABC with perspector D^(''). Let A^('') be the intersection of lines BC^' and CB^', B^('') the ...

Any lemma on commutative diagrams. It can give relations between maps (as in the five lemma) or tell how to construct new diagrams from old ones (as in the snake lemma).

The term diamond is another word for a rhombus. The term is also used to denote a square tilted at a 45 degrees angle. The diamond shape is a special case of the superellipse ...

The dihedral angle is the angle theta between two planes. The dihedral angle between the planes a_1x+b_1y+c_1z+d_1 = 0 (1) a_2x+b_2y+c_2z+d_2 = 0 (2) which have normal ...

A similarity transformation which transforms each line to a parallel line whose length is a fixed multiple of the length of the original line. The simplest dilation is ...

Given any assignment of n-element sets to the n^2 locations of a square n×n array, is it always possible to find a partial Latin square? The fact that such a partial Latin ...

The disdyakis dodecahedron is the dual polyhedron of the Archimedean great rhombicuboctahedron A_3 and Wenninger dual W_(15). It is also called the hexakis octahedron ...