swMATH21089MaRDI QIDQ32901FDOQ32901
Author name not available (Why is that?)
Official website: https://www.maplesoft.com/support/help/maple/view.aspx?path=DEtools%2FZeilberger
Cited In (77)
- Integral recurrences from A to Z
- Comments on Risch's \textit{On the integration of elementary functions which are built up using algebraic operations}
- Resultant-free computation of indefinite hyperexponential integrals
- Ordinary differential equations. Example-driven, including Maple code
- Apéry limits for elliptic \(L\)-values
- MultiIntegrate
- There are EXACTLY 1493804444499093354916284290188948031229880469556 Ways to Derange a Standard Deck of Cards (Ignoring Suits) [and Many Other Such Useful Facts]
- Computer algebra, power series and summation
- On an Integral Identity
- Residues and telescopers for bivariate rational functions
- Algorithms for the symbolic integration of hyperlogarithms with applications to Feynman integrals
- Identities in search of identity
- Automatic discovery of irrationality proofs and irrationality measures
- Proof of Ira Gessel's lattice path conjecture
- The integrals in Gradshteyn and Ryzhik. XVIII: Some automatic proofs
- Trading order for degree in creative telescoping
- A multi-computational exploration of some games of pure chance
- A remarkable sequence of integers
- On a link between Dirichlet kernels and central multinomial coefficients
- A holonomic systems approach to special functions identities
- Elimination and identities with the integral sign
- Two definite integrals that are definitely (and surprisingly!) equal
- A recursive method to calculate the expected molecule numbers for a polymerization network with a small number of subunits
- 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
- Symbolic conversion of holonomic functions to hypergeometric type power series
- An approach to the zero recognition problem by Buchberger algorithm
- Balls in boxes: variations on a theme of Warren Ewens and Herbert Wilf
- Rubi
- Multibasic and mixed hypergeometric Gosper-type algorithms
- Martin boundary of killed random walks on isoradial graphs
- Non-complete integrability of a satellite in circular orbit
- gfun
- HolonomicFunctions
- NewZeil.m
- NumGfun
- The method of differentiating under the integral sign
- DDMF
- Asyrec
- CAOP
- EKHAD
- BallsInBoxes
- Cfinite
- MultiZeilberger
- AperyWZ
- AperyRecurrence
- AperyAcc
- AperyAppx
- PADE
- qZEILBERGER
- TILINGS
- ZEILBERGER
- An algorithmic proof theory for hypergeometric (ordinary and ``\(q\)) multisum/integral identities
- Asymptotics
- pqTelescope
- Telescopers
- Stirling
- FPS
- LIE0
- MVPoisson
- hypergeometricsols
- linalg
- SumTools
- Alkahest III
- NEWEUL
- Stieltjes moment sequences for pattern-avoiding permutations
- On the existence of telescopers for mixed hypergeometric terms
- Formal solutions of differential equations
- Analysis of the gift exchange problem
- Linear differential equations as a data structure
- Multi-variable Zeilberger and Almkvist-Zeilberger algorithms and the sharpening of Wilf-Zeilberger theory
- The method of creative telescoping
- Hermite reduction and creative telescoping for hyperexponential functions
- Explicit formula for the generating series of diagonal 3D rook paths
- Some open problems related to creative telescoping
- Eliminations in Weyl algebras and identities.
- An exact solution of three interacting friendly walks in the bulk
This page was built for software: DEtools
