MultiZeilberger
From MaRDI portal
Software:23281
swMATH11335MaRDI QIDQ23281FDOQ23281
Author name not available (Why is that?)
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 ofSn
- 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