Representation of hypergeometric products of higher nesting depths in difference rings
DOI10.1016/j.jsc.2023.03.002zbMath1527.33003arXiv2011.08775OpenAlexW3104637733MaRDI QIDQ6115788
Carsten Schneider, Evans Doe Ocansey
Publication date: 10 August 2023
Published in: Journal of Symbolic Computation (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/2011.08775
difference ringsring of sequencesconstant fieldalgebraic independence, roots of unity productsnested hypergeometric productszero recognition
Symbolic computation and algebraic computation (68W30) Confluent hypergeometric functions, Whittaker functions, ({}_1F_1) (33C15) Symbolic computation of special functions (Gosper and Zeilberger algorithms, etc.) (33F10) Difference algebra (12H10)
Related Items (1)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- A difference ring theory for symbolic summation
- Parameterized telescoping proves algebraic independence of sums
- Rational normal forms and minimal decompositions of hypergeometric terms
- An algorithmic proof theory for hypergeometric (ordinary and ``\(q\)) multisum/integral identities
- A refined difference field theory for symbolic summation
- Differential Galois theory of linear difference equations
- Polynomial ring automorphisms, rational \((w,\sigma )\)-canonical forms, and the assignment problem
- Alternating sign matrices and descending plane partitions
- Theory of summation in finite terms
- Factoring polynomials with rational coefficients
- A holonomic systems approach to special functions identities
- The method of creative telescoping
- Hypergeometric solutions of linear recurrences with polynomial coefficients
- Solving difference equations in finite terms
- Finite singularities and hypergeometric solutions of linear recurrence equations
- Galois theory of difference equations
- \texttt{qMultiSum} -- a package for proving \(q\)-hypergeometric multiple summation identities
- On solutions of linear ordinary difference equations in their coefficient field
- Summation theory. II: Characterizations of \(R {\Pi}{\Sigma}^{\ast}\)-extensions and algorithmic aspects
- Refined holonomic summation algorithms in particle physics
- Representing \((q-)\)hypergeometric products and mixed versions in difference rings
- Product representations in \(\Pi\Sigma\)-fields
- Greatest factorial factorization and symbolic summation
- Proof of the alternating sign matrix conjecture
- Multibasic and mixed hypergeometric Gosper-type algorithms
- An extension of Zeilberger's fast algorithm to general holonomic functions
- On rational and hypergeometric solutions of linear ordinary difference equations in \(\Pi\Sigma^\ast\)-field extensions
- Minimal representations and algebraic relations for single nested products
- Structural theorems for symbolic summation
- Indefinite summation with unspecified summands
- Computing the algebraic relations of \(C\)-finite sequences and multisequences
- Symbolic summation assists combinatorics
- Fast Algorithms for Refined Parameterized Telescoping in Difference Fields
- Desingularization explains order-degree curves for ore operators
- Symbolic Summation in Difference Rings and Applications
- SIMPLIFYING SUMS IN ΠΣ*-EXTENSIONS
- Summation in Finite Terms
- Decision procedure for indefinite hypergeometric summation
- Creative Telescoping for Holonomic Functions
- Solving Linear Recurrence Equations with Polynomial Coefficients
- On the structure of compatible rational functions
- A procedure for proving special function inequalities involving a discrete parameter
- Representation of hypergeometric products in difference rings
- The Problem of Integration in Finite Terms
- On the summation of rational functions
- Rational solutions of linear differential and difference equations with polynomial coefficients
This page was built for publication: Representation of hypergeometric products of higher nesting depths in difference rings
