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