swMATH11335MaRDI QIDQ23281FDOQ23281
Author name not available (Why is that?)
Official website: http://www.math.rutgers.edu/~zeilberg/programs.html
Cited In (73)
- Comments on Risch's \textit{On the integration of elementary functions which are built up using algebraic operations}
- Exploring general Apéry limits via the Zudilin–Straub t-transform
- Apéry limits for elliptic \(L\)-values
- MultiIntegrate
- Supercongruences for truncated Appell series
- 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
- NestedProducts
- Using the ``Freshman's dream to prove combinatorial congruences
- Trading order for degree in creative telescoping
- A remarkable sequence of integers
- 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
- 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
- Rubi
- 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
- MultInt
- qZeil
- NewZeil.m
- SIGMA
- DDMF
- EKHAD
- Cfinite
- AperyWZ
- AperyRecurrence
- AperyAcc
- AperyAppx
- MENAGES
- PEKERIS
- RookWalks
- PADE
- qZEILBERGER
- ZEILBERGER
- Asymptotics
- Dependencies
- fastZeil
- Telescopers
- Stirling
- Sn
- An algorithmic approach to the \(q\)-summability problem of bivariate rational functions
- MVPoisson
- DET
- DEtools
- Shapiro
- qTSPP
- Pekeris
- CTcong.txt
- yang
- 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
- 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
- Identities in character tables ofSn
- 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
