Search Results for ""

Consider a formula in prenex normal form, Q_1x_1...Q_nx_nN. If Q_i is the existential quantifier (1<=i<=n) and x_k, ..., x_m are all the universal quantifier variables such ...

There are (at least) two mathematical objects known as Weierstrass forms. The first is a general form into which an elliptic curve over any field K can be transformed, given ...

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

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.

A univariate function f(x) is said to be odd provided that f(-x)=-f(x). Geometrically, such functions are symmetric about the origin. Examples of odd functions include x, ...

The hemisphere function is defined as H(x,y)={sqrt(a-x^2-y^2) for sqrt(x^2+y^2)<=a; 0 for sqrt(x^2+y^2)>a. (1) Watson (1966) defines a hemispherical function as a function S ...

The Hurwitz zeta function zeta(s,a) is a generalization of the Riemann zeta function zeta(s) that is also known as the generalized zeta function. It is classically defined by ...

A finite extension K=Q(z)(w) of the field Q(z) of rational functions in the indeterminate z, i.e., w is a root of a polynomial a_0+a_1alpha+a_2alpha^2+...+a_nalpha^n, where ...

Let phi(t)=sum_(n=0)^(infty)A_nt^n be any function for which the integral I(x)=int_0^inftye^(-tx)t^pphi(t)dt converges. Then the expansion where Gamma(z) is the gamma ...

The apodization function A(x)=(1-(x^2)/(a^2))^2. Its full width at half maximum is sqrt(4-2sqrt(2))a. Its instrument function is ...