Search Results for ""

The quantifier "for all" ( forall ), sometimes also known as the "general quantifier."

A universal sentence is a sentence (i.e., formula of the predicate calculus without free variables) whose variables are universally quantified.

A q-analog of the beta function B(a,b) = int_0^1t^(a-1)(1-t)^(b-1)dt (1) = (Gamma(a)Gamma(b))/(Gamma(a+b)), (2) where Gamma(z) is a gamma function, is given by B_q(a,b) = ...

A vector derivative is a derivative taken with respect to a vector field. Vector derivatives are extremely important in physics, where they arise throughout fluid mechanics, ...

The crystallographic point groups are the point groups in which translational periodicity is required (the so-called crystallography restriction). There are 32 such groups, ...

The term "wedge" has a number of different meanings in mathematics. It is sometimes used as another name for the caret symbol. The term also refers to the notation ( ^ ) used ...

The q-analog of the binomial theorem (1-z)^n=1-nz+(n(n-1))/(1·2)z^2-(n(n-1)(n-2))/(1·2·3)z^3+... (1) is given by (1-z/(q^n))(1-z/(q^(n-1)))...(1-z/q) ...

A q-analog of the gamma function defined by Gamma_q(x)=((q;q)_infty)/((q^x;q)_infty)(1-q)^(1-x), (1) where (x,q)_infty is a q-Pochhammer symbol (Koepf 1998, p. 26; Koekoek ...

The symbol ∡ABC denotes the directed angle from AB to BC, which is the signed angle through which AB must be rotated about B to coincide with BC. Four points ABCD lie on a ...

The symbol defined by (v,n) = (2^(-2n){(4v^2-1)(4v^2-3^2)...[4v^2-(2n-1)^2]})/(n!) (1) = ((-1)^ncos(piv)Gamma(1/2+n-v)Gamma(1/2+n+v))/(pin!), (2) where Gamma(z) is the gamma ...