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

The term domain has (at least) three different meanings in mathematics. The term domain is most commonly used to describe the set of values D for which a function (map, ...

If a is an element of a field F over the prime field P, then the set of all rational functions of a with coefficients in P is a field derived from P by adjunction of a.

The blossom algorithm (Edmonds 1965) finds a maximum independent edge set in a (possibly weighted) graph. While a maximum independent edge set can be found fairly easily for ...

A three-dimensional data set consisting of stacked two-dimensional data slices as a function of a third coordinate.

One of the Eilenberg-Steenrod axioms which states that, if X is a space with subspaces A and U such that the set closure of A is contained in the interior of U, then the ...

The fifth of Peano's axioms, which states: If a set S of numbers contains zero and also the successor of every number in S, then every number is in S.

A labeled graph G=(V,E) is a finite series of graph vertices V with a set of graph edges E of 2-subsets of V. Given a graph vertex set V_n={1,2,...,n}, the number of ...

n sets of s trials each, with the probability of success p constant in each set. var(x/n)=spq+s(s-1)sigma_p^2, where sigma_p^2 is the variance of p_i.

Given a point set P={x_n}_(n=0)^(N-1) in the s-dimensional unit cube [0,1)^s, the local discrepancy is defined as D(J,P)=|(number of x_n in J)/N-Vol(J)|, Vol(J) is the ...