DEtools

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