DEtools

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