Cited in
(73)- A supercongruence involving Delannoy numbers and Schröder numbers
- Rational approximations to values of the digamma function and a conjecture on denominators
- Series evaluation of a quartic integral
- Automatic discovery of irrationality proofs and irrationality measures
- A remarkable sequence of integers
- A generalized supercongruence of Kimoto and Wakayama
- NestedProducts
- Proof of some divisibility results on sums involving binomial coefficients
- A symbolic summation approach to Feynman integral calculus
- Automatic enumeration of generalized Ménage numbers
- Congruences on sums of super Catalan numbers
- An algorithm for deciding the summability of bivariate rational functions
- Trading order for degree in creative telescoping
- An algorithmic approach to the \(q\)-summability problem of bivariate rational functions
- A symbolic computation approach to a problem involving multivariate Poisson distributions
- Positivity of rational functions and their diagonals
- Analysis of the gift exchange problem
- Rubi
- Multiple binomial sums
- The 1958 Pekeris-Accad-WEIZAC ground-breaking collaboration that computed ground states of two-electron atoms (and its 2010 redux)
- Some open problems related to creative telescoping
- MultInt
- qZeil
- NewZeil.m
- SIGMA
- Tweaking the Beukers integrals in search of more miraculous irrationality proofs a la Apéry
- Computing periods of rational integrals
- DDMF
- EKHAD
- Cfinite
- AperyWZ
- AperyRecurrence
- AperyAcc
- AperyAppx
- MENAGES
- PEKERIS
- RookWalks
- PADE
- qZEILBERGER
- ZEILBERGER
- Asymptotics
- Dependencies
- fastZeil
- Telescopers
- Stirling
- Sn
- Minimal representations and algebraic relations for single nested products
- MVPoisson
- DET
- DEtools
- Shapiro
- qTSPP
- Pekeris
- CTcong.txt
- yang
- Holonomic gradient descent and its application to the Fisher-Bingham integral
- The computational challenge of enumerating high-dimensional rook walks
- Summations of linear recurrent sequences
- A multilinear operator for almost product evaluation of Hankel determinants
- Elementary proof of congruences involving sum of binomial coefficients
- Linear differential equations as a data structure
- Counting derangements and Nash equilibria
- A note on moments of limit log-infinitely divisible stochastic measures of Bacry and Muzy
- Summation theory. II: Characterizations of \(R {\Pi}{\Sigma}^{\ast}\)-extensions and algorithmic aspects
- Integrals involving Rudin-Shapiro polynomials and sketch of a proof of Saffari's conjecture
- The number of ways to assemble a graph
- Using the ``Freshman's dream to prove combinatorial congruences
- Identities in character tables ofSn
- Exploring general Apéry limits via the Zudilin–Straub t-transform
- Supercongruences for truncated Appell series
- MultiIntegrate
- Apéry limits for elliptic \(L\)-values
- Comments on Risch's \textit{On the integration of elementary functions which are built up using algebraic operations}
This page was built for software: MultiZeilberger
