A holonomic systems approach to special functions identities

33C20: Generalized hypergeometric series, ({}_pF_q)

Related Items

Identities for families of orthogonal polynomials and special functions, Holonomic functions and their relation to linearly constrained languages, The quantum MacMahon Master Theorem, Reasoning Algebraically About P-Solvable Loops, Point lattices and oscillating recurrence sequences^†, Fast evaluation of holonomic functions near and in regular singularities, Towards computerized proofs of identities, Constructible differentially finite algebraic series in several variables, Identities in search of identity, Bialgebras of recursive sequences and combinatorial identities, How likely is Polya's drunkard to stay in \(x\geq y\geq z\)?, The method of differentiating under the integral sign, An algorithmic proof theory for hypergeometric (ordinary and ``\(q\)) multisum/integral identities, Eliminations in Weyl algebras and identities., A fast algorithm for proving terminating hypergeometric identities, Symmetric functions and P-recursiveness, Solving difference equations whose coefficients are not transcendental, Converging to Gosper's algorithm, An Ansatz for the asymptotics of hypergeometric multisums, A characteristic set method for ordinary difference polynomial systems, The method of creative telescoping, A proof of the two parameter \(q\)-cases of the Macdonald-Morris constant term root system conjecture for \(S(F_ 4)\) and \(S(F_ 4)^ \vee\) via Zeilberger's method, Hypergeometric solutions of linear recurrences with polynomial coefficients, An approach to the zero recognition problem by Buchberger algorithm, Fast evaluation of holonomic functions, Enumeration of cubic graphs by inclusion-exclusion, Sur les fonctions entières à double pas récurrent. (Entire functions with double recurrent step.), Analytic variations on quadtrees, Entire solutions of a system of difference equations, On Zeilberger's algorithm and its \(q\)-analogue, Binomial identities -- combinatorial and algorithmic aspects, The number of permutations with exactly \(r\) 132-subsequences is \(P\)-recursive in the size!, Character sum identities in analogy with special functions identities, Exact enumeration of 1342-avoiding permutations: A close link with labeled trees and planar maps, Formal power series and Hadamard product, Center conditions. II: Parametric and model center problems, Elimination of variables in linear solvable polynomial algebras and \(\delta\)-holonomicity, On the robustness of interconnections in random graphs: a symbolic approach., On the structure of multivariate hypergeometric terms., Relax, but don't be too lazy, \(k\)-free recurrences of double hypergeometric terms, Conjectures on the enumeration of tableaux of bounded height, The colored Jones function is \(q\)-holonomic, Elimination in Weyl algebra and \(q\)-identities, A new symbolic method for solving linear two-point boundary value problems on the level of operators, SumCracker: A package for manipulating symbolic sums and related objects, Elimination and identities with the integral sign, Summation algorithms for Stirling number identities, A new Sigma approach to multi-summation, A fast algorithm for proving terminating hypergeometric identities. (Reprint), Rationality of the Möbius function of a composition poset, Computing the algebraic relations of \(C\)-finite sequences and multisequences, On computing the coefficients of bivariate holonomic formal series, Current trends in asymptotics: Some problems and some solutions, Closed form summation of 𝐶-finite sequences, IS THE JONES POLYNOMIAL OF A KNOT REALLY A POLYNOMIAL?, DIFFERENCE AND DIFFERENTIAL EQUATIONS FOR THE COLORED JONES FUNCTION, Gevrey series in quantum topology, The quasi-holonomic ansatz and restricted lattice walks, Aligator: A Mathematica Package for Invariant Generation (System Description), Rational Functions Certify Combinatorial Identities, Rational function certification of multisum/integral/“𝑞” identities

Uses Software

DEtools

Cites Work