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

A strict order > on the set of terms of a term rewriting system is called a reduction order if 1. The set of terms is well ordered with respect to >, that is, all its ...

A strange loop is a phenomenon in which, whenever movement is made upwards or downwards through the levels of some hierarchical system, the system unexpectedly arrives back ...

Members of a coaxal system satisfy x^2+y^2+2lambdax+c=(x+lambda)^2+y^2+c-lambda^2=0 for values of lambda. Picking lambda^2=c then gives the two circles (x+/-sqrt(c))^2+y^2=0 ...

There are several different definitions of conical coordinates defined by Morse and Feshbach (1953), Byerly (1959), Arfken (1970), and Moon and Spencer (1988). The ...

A generalized Fourier series is a series expansion of a function based on the special properties of a complete orthogonal system of functions. The prototypical example of ...

The system of partial differential equations u_t = 1/2u_(xxx)+3uu_x-6ww_x (1) w_t = -w_(xxx)-3uw_x. (2)

The set of points in the space of system variables such that initial conditions chosen in this set dynamically evolve to a particular attractor.

The system of partial differential equations u_t = b·v_x (1) b_(xt) = u_(xx)b+axv_x-2vx(vxb). (2)

The mathematical study of how to manipulate the parameters affecting the behavior of a system to produce the desired or optimal outcome.