GeneratingFunctions
From MaRDI portal
Software:26177
No author found.
Related Items (29)
Asymptotic and exact results on the complexity of the Novelli-Pak-Stoyanovskii algorithm ⋮ D-finite numbers ⋮ Hypergeometric summation algorithms for high-order finite elements ⋮ Kazhdan-Lusztig polynomials of fan matroids, wheel matroids, and whirl matroids ⋮ An algorithm for deciding zero equivalence of nested polynomially recurrent sequences ⋮ A computable extension for D-finite functions: DD-finite functions ⋮ Unnamed Item ⋮ Computer proofs of a new family of harmonic number identities. ⋮ Arithmetic properties of Picard-Fuchs equations and holonomic recurrences ⋮ Unnamed Item ⋮ On 3-dimensional lattice walks confined to the positive octant ⋮ Positivity of certain sums over Jacobi kernel polynomials ⋮ Finding efficient recursions for risk aggregation by computer algebra ⋮ Plane partitions. VI: Stembridge's TSPP theorem ⋮ A Computer Proof of Moll’s Log-Concavity Conjecture ⋮ The complete generating function for Gessel walks is algebraic ⋮ Determining the closed forms of the anomalous dimensions and Wilson coefficients from Mellin moments by means of computer algebra ⋮ Computing the complexity for Schelling segregation models ⋮ On recurrences for Ising integrals ⋮ A characteristic set method for ordinary difference polynomial systems ⋮ DD-finite functions in Sage ⋮ Some structural results on \(\mathrm{D}^n\)-finite functions ⋮ A Mathematica package for \(q\)-holonomic sequences and power series ⋮ Computer-assisted proofs of special function identities related to Poisson integrals ⋮ Holonomic relations for modular functions and forms: First guess, then prove ⋮ 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 ⋮ Effective scalar products of D-finite symmetric functions ⋮ A comparison of algorithms for proving positivity of linearly recurrent sequences
This page was built for software: GeneratingFunctions
