Symbolic summation assists combinatorics
zbMATH Open1188.05001MaRDI QIDQ2654601FDOQ2654601
Authors: Carsten Schneider
Publication date: 19 January 2010
Published in: Séminaire Lotharingien de Combinatoire (Search for Journal in Brave)
Full work available at URL: https://eudml.org/doc/224549
File on IPFS (Hint: this is only the Hash - if you get a timeout, this file is not available on our server.)
Recommendations
Exact enumeration problems, generating functions (05A15) Software, source code, etc. for problems pertaining to combinatorics (05-04)
Cited In (only showing first 100 items - show all)
- Sparsity optimized high order finite element functions for \(H(\mathrm{curl})\) on tetrahedra
- Iterated binomial sums and their associated iterated integrals
- The massless three-loop Wilson coefficients for the deep-inelastic structure functions \(F_2\), \(F_L\), \(xF_3\) and \(g_1\)
- Term algebras, canonical representations and difference ring theory for symbolic summation
- A Saalschütz-type identity and summation formulae involving generalized harmonic numbers
- Fourth post-Newtonian Hamiltonian dynamics of two-body systems from an effective field theory approach
- Summation algorithms for Stirling number identities
- On recurrences for Ising integrals
- On Mneimneh's binomial sum involving harmonic numbers
- Walsh functions, scrambled \(( 0 , m , s )\)-nets, and negative covariance: applying symbolic computation to quasi-Monte Carlo integration
- Structural theorems for symbolic summation
- Relativistic Coulomb integrals and Zeilberger's holonomic systems approach. I
- On two conjectural congruences of Sun involving harmonic numbers
- Analytic and algorithmic aspects of generalized harmonic sums and polylogarithms
- Refined q-Trinomial Coefficients and Two Infinite Hierarchies of q-Series Identities
- On two supercongruences for sums of Apéry-like numbers
- A symbolic summation approach to Feynman integral calculus
- From momentum expansions to post-Minkowskian Hamiltonians by computer algebra algorithms
- On two congruences involving Apéry and Franel numbers
- Hexagon bootstrap in the double scaling limit
- The fifth-order post-newtonian Hamiltonian dynamics of two-body systems from an effective field theory approach: potential contributions
- Determining the closed forms of the anomalous dimensions and Wilson coefficients from Mellin moments by means of computer algebra
- Dixon's \(_3F_2(1)\)-series and identities involving harmonic numbers and the Riemann zeta function
- Proof of a supercongruence via the Wilf-Zeilberger method
- A refined difference field theory for symbolic summation
- Whipple-type 3F2-series and summation formulae involving generalized harmonic numbers
- Discrete analogues of Macdonald-Mehta integrals
- Proof of a conjecture of Adamchuk
- Proof of two congruences concerning Legendre polynomials
- Ramanujan-type supercongruences involving Almkvist-Zudilin numbers
- On rational and hypergeometric solutions of linear ordinary difference equations in \(\Pi\Sigma^\ast\)-field extensions
- Some supercongruences arising from symbolic summation
- Summation theory. II: Characterizations of \(R {\Pi}{\Sigma}^{\ast}\)-extensions and algorithmic aspects
- Algebraic independence of sequences generated by (cyclotomic) harmonic sums
- Gaussian hypergeometric series and supercongruences
- A generalized supercongruence of Kimoto and Wakayama
- Congruences concerning generalized central trinomial coefficients
- SIGMA
- On some integrals involving Chebyshev polynomials
- A symbolic summation approach to find optimal nested sum representations
- Derivative operator and summation formulae involving generalized harmonic numbers
- Parameterized telescoping proves algebraic independence of sums
- Supercongruences for sums involving Domb numbers
- Proof of Sun's conjectural supercongruence involving Catalan numbers
- A modular supercongruence for \({}_6 F_5\): an Apéry-like story
- Congruences involving squares of generalized central trinomial coefficients
- Proof of some congruence conjectures of Z.-H. Sun involving Apéry-like numbers
- A difference ring theory for symbolic summation
- Title not available (Why is that?)
- Testing binary dynamics in gravity at the sixth post-Newtonian level
- A polynomial identity implying Schur's partition theorem
- Unfair permutations
- Some congruences related to a congruence of Van Hamme
- The integrals in Gradshteyn and Ryzhik. Part 30: trigonometric functions
- Hypergeometric structures in Feynman integrals
- Four families of summation formulas involving generalized harmonic numbers
- Watson-type3F2-series and summation formulae involving generalized harmonic numbers
- Creative telescoping on multiple sums
- On Van Hamme's (A.2) and (H.2) supercongruences
- Semi-automated proof of supercongruences on partial sums of hypergeometric series
- The inverse Mellin transform via analytic continuation
- Simplifying multiple sums in difference fields
- Exact Formulae for Variances of Functionals of Convex Hulls
- On the positivity of the Gillis-Reznick-Zeilberger rational function
- Some supercongruences on truncated \(_3F_2\) hypergeometric series
- Asymptotic and exact results on the complexity of the Novelli-Pak-Stoyanovskii algorithm
- On double sum generating functions in connection with some classical partition theorems
- Minimal representations and algebraic relations for single nested products
- Truncating binomial series with symbolic summation
- On some supercongruence conjectures for truncated hypergeometric series
- \texttt{qFunctions} -- a Mathematica package for \(q\)-series and partition theory applications
- Analytic auxiliary mass flow to compute master integrals in singular kinematics
- Some variations of a ‘divergent’ Ramanujan-type q-supercongruence
- Symbolic summation methods and congruences involving harmonic numbers
- Using nonlinear difference equations to study Quicksort algorithms
- The non-first-order-factorizable contributions to the three-loop single-mass operator matrix elements \(A_{Qg}^{(3)}\) and \(\Delta A_{Qg}^{(3)}\)
- (-1)-enumerations of arrowed Gelfand-Tsetlin patterns
- Dual-pivot quicksort: optimality, analysis and zeros of associated lattice paths
- Computer-Assisted Proofs of Some Identities for Bessel Functions of Fractional Order
- Title not available (Why is that?)
- Combinatorial identities involving reciprocals of the binomial and central binomial coefficients and harmonic numbers
- New infinite hierarchies of polynomial identities related to the Capparelli partition theorems
- A matrix with sums of Catalan numbers -- LU-decomposition and determinant
- \(q\)-Gosper algorithm and simple Bailey pairs
- New congruences and finite difference equations for generalized factorial functions
- The two-loop massless off-shell QCD operator matrix elements to finite terms
- On some congruences involving Apéry-like numbers Sn
- Evaluation of Binomial Double Sums Involving Absolute Values
- On two supercongruences involving Almkvist-Zudilin sequences
- Extensions of the AZ-Algorithm and the Package MultiIntegrate
- A new \(q\)-extension of the (H.2) congruence of Van Hamme for primes \(p\equiv 1\pmod{4}\)
- Supercongruences involving \(p\)-adic gamma functions
- Refined telescoping algorithms in RΠΣ -extensions to reduce the degrees of the denominators✱
- Massive two-loop four-point Feynman integrals at high energies with AsyInt
- Representation of hypergeometric products of higher nesting depths in difference rings
- New inequalities for \(p(n)\) and \(\log p(n)\)
- Proof of some conjectural congruences involving Domb numbers and binary quadratic forms
- A generalization of Mneimneh's binomial sum of harmonic numbers
- Supercongruences involving Domb numbers and binary quadratic forms
- On a supercongruence conjecture of Z.-W. Sun
This page was built for publication: Symbolic summation assists combinatorics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2654601)