Search Results for ""

A finitely presented group is a group with a finite number of generators and relations. A mathematical joke involving finitely presented groups is given by Renteln and Dundes ...

A reduction system is called finitely terminating (or Noetherian) if there are no infinite rewriting sequences. This property guarantees that any rewriting algorithm will ...

Let the squares square ABCD and square AB^'C^'D^' share a common polygon vertex A. The midpoints Q and S of the segments B^'D and BD^' together with the centers of the ...

Let A be a C^*-algebra and A_+ be its positive part. Suppose that E is a complex linear space which is a left A-module and lambda(ax)=(lambdaa)x=a(lambdax), where lambda in ...

A general space based on the line element ds=F(x^1,...,x^n;dx^1,...,dx^n), with F(x,y)>0 for y!=0 a function on the tangent bundle T(M), and homogeneous of degree 1 in y. ...

By choosing appropriate rules, it is possible to achieve many forms of synchronization within cellular automata. One version, known as the firing squad synchronization ...

Let J_A, J_B, and J_C be the vertices of the outer Soddy triangle, and also let E_A, E_B, and E_C be the pairwise contact points of the three tangent circles. Then the lines ...

Let M be a regular surface with v_(p),w_(p) points in the tangent space M_(p) of M. Then the first fundamental form is the inner product of tangent vectors, ...

Special functions which arise as solutions to second order ordinary differential equations are commonly said to be "of the first kind" if they are nonsingular at the origin, ...

The first Morley adjunct triangle is the triangle DeltaA^('')B^('')C^('') illustrated above, where DeltaA^'B^'C^' is the first Morley triangle. Unlike the first Morley ...