Search Results for ""

A symmetric function on n variables x_1, ..., x_n is a function that is unchanged by any permutation of its variables. In most contexts, the term "symmetric function" refers ...

In predicate calculus, a universal formula is a prenex normal form formula (i.e., a formula written as a string of quantifiers and bound variables followed by a ...

Given a set y=f(x) of n equations in n variables x_1, ..., x_n, written explicitly as y=[f_1(x); f_2(x); |; f_n(x)], (1) or more explicitly as {y_1=f_1(x_1,...,x_n); |; ...

An algebraic expression in variables {x_1,...,x_n} is an expression constructed with the variables and algebraic numbers using addition, multiplication, and rational powers.

A function of two variables is bilinear if it is linear with respect to each of its variables. The simplest example is f(x,y)=xy.

The cylindrical parts of a system of real algebraic equations and inequalities in variables {x_1,...,x_n} are the terms f_1 <= x_1<=g_1 (1) f_2(x_1) <= x_2<=g_2(x_1) (2) | ...

Let D=D(z_0,R) be an open disk, and let u be a harmonic function on D such that u(z)>=0 for all z in D. Then for all z in D, we have 0<=u(z)<=(R/(R-|z-z_0|))^2u(z_0).

Given F_1(x,y,z,u,v,w) = 0 (1) F_2(x,y,z,u,v,w) = 0 (2) F_3(x,y,z,u,v,w) = 0, (3) if the determinantof the Jacobian |JF(u,v,w)|=|(partial(F_1,F_2,F_3))/(partial(u,v,w))|!=0, ...

The indefinite summation operator Delta^(-1) for discrete variables, is the equivalent of integration for continuous variables. If DeltaY(x)=y(x), then Delta^(-1)y(x)=Y(x).

A joint distribution function is a distribution function D(x,y) in two variables defined by D(x,y) = P(X<=x,Y<=y) (1) D_x(x) = lim_(y->infty)D(x,y) (2) D_y(y) = ...