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