Search Results for ""

In December 1920, M. Schönfinkel presented in a report to the Mathematical Society in Göttingen a new type of formal logic based on the concept of a generalized function ...

The terms of equational logic are built up from variables and constants using function symbols (or operations). Identities (equalities) of the form s=t, (1) where s and t are ...

The Newton-Cotes formulas are an extremely useful and straightforward family of numerical integration techniques. To integrate a function f(x) over some interval [a,b], ...

A linear functional on a real vector space V is a function T:V->R, which satisfies the following properties. 1. T(v+w)=T(v)+T(w), and 2. T(alphav)=alphaT(v). When V is a ...

A solution to a problem that can be written in "closed form" in terms of known functions, constants, etc., is often called an analytic solution. Note that this use of the ...

To enumerate a set of objects satisfying some set of properties means to explicitly produce a listing of all such objects. The problem of determining or counting all such ...

An array of "trees" of unit height located at integer-coordinate points in a point lattice. When viewed from a corner along the line y=x in normal perspective, a quadrant of ...

The gamma product (e.g., Prudnikov et al. 1986, pp. 22 and 792), is defined by Gamma[a_1,...,a_m; b_1,...,b_n]=(Gamma(a_1)...Gamma(a_m))/(Gamma(b_1)...Gamma(b_n)), where ...

Let D be a domain in R^n for n>=3. Then the transformation v(x_1^',...,x_n^')=(a/(r^'))^(n-2)u((a^2x_1^')/(r^('2)),...,(a^2x_n^')/(r^('2))) onto a domain D^', where ...

If there are two functions F_1(t) and F_2(t) with the same integral transform T[F_1(t)]=T[F_2(t)]=f(s), (1) then a null function can be defined by delta_0(t)=F_1(t)-F_2(t) ...