Cited in
(58)- Kazhdan-Lusztig polynomials of fan matroids, wheel matroids, and whirl matroids
- Truncating binomial series with symbolic summation
- Effective scalar products of D-finite symmetric functions
- Finding efficient recursions for risk aggregation by computer algebra
- On recurrences for Ising integrals
- A comparison of algorithms for proving positivity of linearly recurrent sequences
- A computable extension for D-finite functions: DD-finite functions
- A Computer Proof of Moll’s Log-Concavity Conjecture
- The complete generating function for Gessel walks is algebraic
- D-finite numbers
- Positivity of certain sums over Jacobi kernel polynomials
- On 3-dimensional lattice walks confined to the positive octant
- Computer proofs of a new family of harmonic number identities.
- A characteristic set method for ordinary difference polynomial systems
- Computing the complexity for Schelling segregation models
- An algorithm for deciding zero equivalence of nested polynomially recurrent sequences
- Plane partitions. VI: Stembridge's TSPP theorem
- Determining the closed forms of the anomalous dimensions and Wilson coefficients from Mellin moments by means of computer algebra
- gfun
- qMultiSum
- SumCracker
- HolonomicFunctions
- NumGfun
- SIGMA
- DDMF
- Cfinite
- NesSomos
- EvaluateMultiSums
- fastZeil
- MultiSum
- Singular
- Telescopers
- FPS
- Guess.m
- HalfLine
- LinearSystemSolver
- OneDimWalks
- QuarterPlane
- Walks
- WalkCarefully
- ALG.txt
- dd_functions
- ore_algebra
- RhoSum
- MultiIntegrate
- Hypergeometric summation algorithms for high-order finite elements
- Holonomic relations for modular functions and forms: First guess, then prove
- Computer-assisted proofs of special function identities related to Poisson integrals
- OreSys
- Some structural results on \(\mathrm{D}^n\)-finite functions
- Linear differential equations as a data structure
- The number of rhombus tilings of a symmetric hexagon which contain a fixed rhombus on the symmetry axis. II
- Arithmetic properties of Picard-Fuchs equations and holonomic recurrences
- A Mathematica package for \(q\)-holonomic sequences and power series
- DD-finite functions in Sage
- NestedProducts
- Asymptotic and exact results on the complexity of the Novelli-Pak-Stoyanovskii algorithm
- An algorithmic approach to the Mellin transform method
This page was built for software: GeneratingFunctions
