Search Results for ""

The rule (F,F=>G)/G, where => means "implies," which is the sole rule of inference in propositional calculus. This rule states that if each of F and F=>G is either an axiom ...

A Müntz space is a technically defined space M(Lambda)=span{x^(lambda_0),x^(lambda_1),...} which arises in the study of function approximations.

A multinomial series is generalization of the binomial series discovered by Johann Bernoulli and Leibniz. The multinomial series arises in a generalization of the binomial ...

Multisection of a mathematical quantity or figure is division of it into a number of (usually) equal parts. Division of a quantity into two equal parts is known as bisection, ...

A branch of mathematics which attempts to formalize the nature of the set using a minimal collection of independent axioms. Unfortunately, as discovered by its earliest ...

The integral transform defined by (Kphi)(x)=int_0^inftyG_(pq)^(mn)(xt|(a_p); (b_q))phi(t)dt, where G_(pq)^(mn) is a Meijer G-function. Note the lower limit of 0, not -infty ...

The Narayana triangle is the number triangle obtained from the Narayana numbers N(n,k), namely 1 ; 1 1 ; 1 3 1 ; 1 6 6 1 ; 1 10 20 10 1 ; 1 15 50 50 15 1 (OEIS A001263).

The series which arises in the binomial theorem for negative integer -n, (x+a)^(-n) = sum_(k=0)^(infty)(-n; k)x^ka^(-n-k) (1) = sum_(k=0)^(infty)(-1)^k(n+k-1; k)x^ka^(-n-k) ...

A base for a neighborhood system of a point x is a collection N of open sets such that x belongs to every member of N, and any open set containing x also contains a member of ...

A pile of counters in a game of nim. The nim-heap illustrated above corresponds to the game of Marienbad.