DEtools
From MaRDI portal
Software:32901
swMATH21089MaRDI QIDQ32901FDOQ32901
Author name not available (Why is that?)
Cited In (44)
- 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
- Ordinary Differential Equations
- 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
- APÉRY LIMITS FOR ELLIPTIC -VALUES
- Computer Algebra, Power Series and Summation
- 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
- Multibasic and mixed hypergeometric Gosper-type algorithms
- Martin boundary of killed random walks on isoradial graphs
- Resultant-Free Computation of Indefinite Hyperexponential Integrals
- Non-complete integrability of a satellite in circular orbit
- The method of differentiating under the integral sign
- An algorithmic proof theory for hypergeometric (ordinary and ``\(q\)) multisum/integral identities
- 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
- Integral Recurrences from A to Z
- Balls in Boxes: Variations on a Theme of Warren Ewens and Herbert Wilf
- Linear differential equations as a data structure
- Multi-variable Zeilberger and Almkvist-Zeilberger algorithms and the sharpening of Wilf-Zeilberger theory
- Comments on Risch’s On the Integration of Elementary Functions which are Built Up Using Algebraic Operations
- The method of creative telescoping
- There are EXACTLY 1493804444499093354916284290188948031229880469556 Ways to Derange a Standard Deck of Cards (Ignoring Suits) [and Many Other Such Useful Facts]
- 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