MultiZeilberger

swMATH11335MaRDI QIDQ23281FDOQ23281

Author name not available (Why is that?)

Described by source

• Multi-variable Zeilberger and Almkvist-Zeilberger algorithms and the sharpening of Wilf-Zeilberger theory

Cited In (39)

• Rational approximations to values of the digamma function and a conjecture on denominators
• Automatic discovery of irrationality proofs and irrationality measures
• A multilinear operator for almost product evaluation of Hankel determinants
• Trading order for degree in creative telescoping
• A remarkable sequence of integers
• APÉRY LIMITS FOR ELLIPTIC -VALUES
• Computing periods of rational integrals
• Automatic enumeration of generalized Ménage numbers
• A symbolic summation approach to Feynman integral calculus
• Positivity of rational functions and their diagonals
• The computational challenge of enumerating high-dimensional rook walks
• Elementary proof of congruences involving sum of binomial coefficients
• Exploring general Apéry limits via the Zudilin–Straub t-transform
• A symbolic computation approach to a problem involving multivariate Poisson distributions
• Tweaking the Beukers integrals in search of more miraculous irrationality proofs a la Apéry
• Integrals involving Rudin-Shapiro polynomials and sketch of a proof of Saffari's conjecture
• Series evaluation of a quartic integral
• An algorithm for deciding the summability of bivariate rational functions
• Summation theory. II: Characterizations of \(R {\Pi}{\Sigma}^{\ast}\)-extensions and algorithmic aspects
• A generalized supercongruence of Kimoto and Wakayama
• An algorithmic approach to the \(q\)-summability problem of bivariate rational functions
• A supercongruence involving Delannoy numbers and Schröder numbers
• Analysis of the gift exchange problem
• Holonomic gradient descent and its application to the Fisher-Bingham integral
• Using the “Freshman′s Dream” to Prove Combinatorial Congruences
• Multiple binomial sums
• The 1958 Pekeris-Accad-WEIZAC ground-breaking collaboration that computed ground states of two-electron atoms (and its 2010 redux)
• Linear differential equations as a data structure
• Proof of some divisibility results on sums involving binomial coefficients
• Comments on Risch’s On the Integration of Elementary Functions which are Built Up Using Algebraic Operations
• Identities in character tables ofS_n
• Supercongruences for truncated Appell series
• Summations of linear recurrent sequences
• Some open problems related to creative telescoping
• Counting derangements and Nash equilibria
• The number of ways to assemble a graph
• Congruences on sums of super Catalan numbers
• Minimal representations and algebraic relations for single nested products
• A note on moments of limit log-infinitely divisible stochastic measures of Bacry and Muzy

This page was built for software: MultiZeilberger