Search Results for ""

A discrete function A(n,k) is called closed form (or sometimes "hypergeometric") in two variables if the ratios A(n+1,k)/A(n,k) and A(n,k+1)/A(n,k) are both rational ...

In an exterior algebra ^ V, a top-dimensional form has degree n where n=dimV. Any form of higher degree must be zero. For example, if V=R^4 then alpha=e_1 ^ e_2 ^ e_3 ^ e_4 ...

A linear real-valued function omega^1 of vectors v such that omega^1(v)|->R. Vectors (i.e., contravariant vectors or "kets" |psi>) and one-forms (i.e., covariant vectors or ...

Given a differential p-form q in the exterior algebra ^ ^pV^*, its envelope is the smallest subspace W such that q is in the subspace ^ ^pW^* subset ^ ^pV^*. Alternatively, W ...

A differential k-form is a tensor of tensor rank k that is antisymmetric under exchange of any pair of indices. The number of algebraically independent components in n ...

A differential k-form can be integrated on an n-dimensional manifold. The basic example is an n-form alpha in the open unit ball in R^n. Since alpha is a top-dimensional ...

A surface given by the form z=F(x,y).

The standard form of a line in the Cartesian plane is given by ax+by=c for real numbers a,b,c in R. This form can be derived from any of the other forms (point-slope form, ...

A trace form on an arbitrary algebra A is a symmetric bilinear form (x,y) such that (xy,z)=(x,yz) for all x,y,z in A (Schafer 1996, p. 24).

A formula of first-order logic is said to be in Skolemized form (sometimes also called Skolem standard form or universal form) if it is of the form forall x_1... forall x_nM, ...