Search Results for ""

A Taylor series remainder formula that gives after n terms of the series R_n=(f^((n+1))(x^*))/(n!p)(x-x^*)^(n+1-p)(x-x_0)^p for x^* in (x_0,x) and any p>0 (Blumenthal 1926, ...

Suppose that f is an analytic function which is defined in the upper half-disk {|z|^2<1,I[z]>0}. Further suppose that f extends to a continuous function on the real axis, and ...

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

Define the notation [n]f_0=f_(-(n-1)/2)+...+f_0+...+f_((n-1)/2) (1) and let delta be the central difference, so delta^2f_0=f_1-2f_0+f_(-1). (2) Spencer's 21-term moving ...

A formula also known as the Legendre addition theorem which is derived by finding Green's functions for the spherical harmonic expansion and equating them to the generating ...

If P(n) is a sentential formula depending on a variable n ranging in a set of real numbers, the sentence P(n) for every sufficiently large n (1) means exists N such that P(n) ...

Let T(x,y,z) be the number of times "otherwise" is called in the TAK function, then the Takeuchi numbers are defined by T_n(n,0,n+1). A recursive formula for T_n is given by ...

A tautology is a logical statement in which the conclusion is equivalent to the premise. More colloquially, it is formula in propositional calculus which is always true ...

A polynomial A_n(x;a) given by the associated Sheffer sequence with f(t)=te^(at), (1) given by A_n(x;a)=x(x-an)^(n-1). (2) The generating function is ...

The conjecture that the number of alternating sign matrices "bordered" by +1s A_n is explicitly given by the formula A_n=product_(j=0)^(n-1)((3j+1)!)/((n+j)!). This ...