Multiple binomial sums
From MaRDI portal
Publication:346550
DOI10.1016/j.jsc.2016.04.002zbMath1351.05013arXiv1510.07487OpenAlexW2964136158MaRDI QIDQ346550
Pierre Lairez, Alin Bostan, Bruno Salvy
Publication date: 29 November 2016
Published in: Journal of Symbolic Computation (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1510.07487
Symbolic computation and algebraic computation (68W30) Factorials, binomial coefficients, combinatorial functions (05A10) Symbolic computation of special functions (Gosper and Zeilberger algorithms, etc.) (33F10)
Related Items
Sequence positivity through numeric analytic continuation: uniqueness of the Canham model for biomembranes ⋮ On congruence schemes for constant terms and their applications ⋮ Constructing minimal telescopers for rational functions in three discrete variables ⋮ Reduction-based creative telescoping for Fuchsian D-finite functions ⋮ New Representations for all Sporadic Apéry-Like Sequences, With Applications to Congruences ⋮ Generating functions for series involving higher powers of inverse binomial coefficients and their applications ⋮ Monodromie unipotente maximale, congruences “à la Lucas” et indépendance algébrique ⋮ Minimization of differential equations and algebraic values of 𝐸-functions ⋮ Effective coefficient asymptotics of multivariate rational functions via semi-numerical algorithms for polynomial systems ⋮ Discrete analogues of Macdonald-Mehta integrals ⋮ Creative telescoping on multiple sums ⋮ Evaluation of Binomial Double Sums Involving Absolute Values ⋮ Generating functions for finite sums involving higher powers of binomial coefficients: analysis of hypergeometric functions including new families of polynomials and numbers ⋮ Linear differential equations as a data structure ⋮ Diagonal representation of algebraic power series: a glimpse behind the scenes
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Diagonals of rational fractions
- A fast approach to creative telescoping
- Hadamard grade of power series
- An algorithmic proof theory for hypergeometric (ordinary and ``\(q\)) multisum/integral identities
- A residue theorem for Malcev-Neumann series.
- Multi-variable Zeilberger and Almkvist-Zeilberger algorithms and the sharpening of Wilf-Zeilberger theory
- D-finite power series
- Integer points in polyhedra
- Effective bounds for P-recursive sequences
- \(G\)-functions and multisum versus holonomic sequences
- The diagonal of a D-finite power series is D-finite
- A holonomic systems approach to special functions identities
- The method of creative telescoping
- Hypergeometric solutions of linear recurrences with polynomial coefficients
- Some questions concerning computer-generated proofs of a binomial double- sum identity
- Binomial identities -- combinatorial and algorithmic aspects
- On the structure of multivariate hypergeometric terms.
- An algorithm for finding recurrence relations of binomial sums and its complexity
- A \textit{Mathematica} version of Zeilberger's algorithm for proving binomial coefficient identities
- An extension of Zeilberger's fast algorithm to general holonomic functions
- Algebraic functions over finite fields
- Nilpotent connections and the monodromy theorem: Applications of a result of Turrittin
- On the non-holonomic character of logarithms, powers, and the \(n\)th prime function
- Computing periods of rational integrals
- Some binomial sums involving absolute values
- Analytic Combinatorics in Several Variables
- A Computer-Algebra-Based Formal Proof of the Irrationality of ζ(3)
- On the summation of <bi>P</bi>-recursive sequences
- Creative telescoping for rational functions using the griffiths
- Symbolic-Numeric Tools for Analytic Combinatorics in Several Variables
- Integral Representation and Algorithms for Closed Form Summation
- A new algorithm for the recursion of multisums with improved universal denominator
- Points entiers dans les polyèdres convexes
- Algebraically Closed Fields Analogous to Fields of Puiseux Series
- GFUN
- Isingn-fold integrals as diagonals of rational functions and integrality of series expansions
- Creative Telescoping for Holonomic Functions
- Gosper's algorithm, accurate summation, and the discrete Newton-Leibniz formula
- On Ordered Division Rings
- On the De Rham cohomology of algebraic varieties
