Search Results for ""

A quantified system of real algebraic equations and inequalities in variables {x_1,...,x_n} is an expression QS=Q_1(y_1)Q_2(y_2)...Q_m(y_m)S(x_1,...,x_n;y_1,...,y_m), where Q ...

A coaxal system is a system of coaxal circles. A spectacular example is the set of circles (circumcircle, nine-point circle, orthocentroidal circle, orthoptic circle of the ...

A reduced root system is a root system R satisfying the additional property that, if alpha in R, then the only multiples of alpha in R are +/-alpha.

A Steiner system S(t,k,v) is a set X of v points, and a collection of subsets of X of size k (called blocks), such that any t points of X are in exactly one of the blocks. ...

A multiway system is a kind of substitution system in which multiple states are permitted at any stage. This accommodates rule systems in which there is more than one ...

A system of linear differential equations (dy)/(dz)=A(z)y, (1) with A(z) an analytic n×n matrix, for which the matrix A(z) is analytic in C^_\{a_1,...,a_N} and has a pole of ...

A dynamical system in which the phase space volume contracts along a trajectory. This means that the generalized divergence is less than zero, (partialf_i)/(partialx_i)<0, ...

Any system of phi(n) integers, where phi(n) is the totient function, representing all the residue classes relatively prime to n is called a reduced residue system (Nagell ...

A map which uses a set of rules to transform elements of a sequence into a new sequence using a set of rules which "translate" from the original sequence to its ...

For {M_i}_(i in I) a family of R-modules indexed by a directed set I, let sigma_(ij):M_i->M_j i<=j be an R-module homomorphism. Call (M_i,sigma_(ij)) a direct system over I ...