Truncating Binomial Series with Symbolic Summation
نویسندگان
چکیده
Taking an example from statistics, we show how symbolic summation can be used to find generalizations of binomial identities that involve infinite series. In such generalizations, the infinite series are replaced by truncated versions.
منابع مشابه
Computer-Generated Proofs of Mathematical Theorems
algorithm A recipe or set of instructions which, when followed precisely, will produce a desired result. binomial coefficient The binomial coefficient ( n k ) is the coefficient of x in the expansion of (1+x). It counts the number of ways of choosing k objects from a set of n objects. computer algebra system A computer package that enables the computer to do symbolic computations such as algebr...
متن کاملTruncating the loop series expansion for BP
Recently, Chertkov and Chernyak (2006a) derived an exact expression for the partition sum (normalization constant) corresponding to a graphical model, which is an expansion around the Belief Propagation solution. By adding correction terms to the BP free energy, one for each “generalized loop” in the factor graph, the exact partition sum is obtained. However, the usually enormous number of gene...
متن کاملA Noncommutative Weight-dependent Generalization of the Binomial Theorem
A weight-dependent generalization of the binomial theorem for noncommuting variables is presented. This result extends the well-known binomial theorem for q-commuting variables by a generic weight function depending on two integers. For two special cases of the weight function, in both cases restricting it to depend only on a single integer, the noncommutative binomial theorem involves an expan...
متن کاملA symbolic operator approach to several summation formulas for power series II
This paper deals with the summation problem of power series of the form Sb a(f ;x) = ∑ a≤k≤b f(k)x k, where 0 ≤ a < b ≤ ∞, and {f(k)} is a given sequence of numbers with k ∈ [a, b) or f(t) is a differentiable function defined on [a, b). We present a symbolic summation operator with its various expansions, and construct several summation formulas with estimable remainders for Sb a(f ;x), by the ...
متن کاملA NEW An EXTENSION OF RAMANUJAN'S 1 1 SUMMATION WITH APPLICATIONS TO MULTILATERAL An SERIES
Abstract. In this article, we derive some identities for multilateral basic hypergeometric series associated to the root system An. First, we apply Ismail’s [15] argument to an An q-binomial theorem of Milne [25, Th. 5.42] and derive a new An generalization of Ramanujan’s 1ψ1 summation theorem. From this new An 1ψ1 summation and from an An 1ψ1 summation of Gustafson [9] we deduce two lemmas for...
متن کامل