Minimal representations and algebraic relations for single nested products
From MaRDI portal
Publication:2217201
DOI10.1134/S0361768820020103zbMath1478.33008arXiv1911.04837OpenAlexW3016600692MaRDI QIDQ2217201
Publication date: 18 December 2020
Published in: Programming and Computer Software (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1911.04837
symbolic computationalgebraic relationsSmith normal formsymbolic summationdifference ringnested product
Symbolic computation and algebraic computation (68W30) Connections of hypergeometric functions with groups and algebras, and related topics (33C80) (q)-gamma functions, (q)-beta functions and integrals (33D05) Difference algebra (12H10)
Related Items
Order bounds for C2-finite sequences, Refined telescoping algorithms in RΠΣ -extensions to reduce the degrees of the denominators✱, Representation of hypergeometric products of higher nesting depths in difference rings, On rational and hypergeometric solutions of linear ordinary difference equations in \(\Pi\Sigma^\ast\)-field extensions, NestedProducts, Term Algebras, Canonical Representations and Difference Ring Theory for Symbolic Summation
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Calculating three loop ladder and \(V\)-topologies for massive operator matrix elements by computer algebra
- A difference ring theory for symbolic summation
- Parameterized telescoping proves algebraic independence of sums
- The two-mass contribution to the three-loop gluonic operator matrix element \(A_{g g, Q}^{(3)}\)
- An algorithmic proof theory for hypergeometric (ordinary and ``\(q\)) multisum/integral identities
- Multi-variable Zeilberger and Almkvist-Zeilberger algorithms and the sharpening of Wilf-Zeilberger theory
- 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
- Theory of summation in finite terms
- A holonomic systems approach to special functions identities
- The method of creative telescoping
- Special functions, \(q\)-series and related topics
- Galois theory of difference equations
- On solutions of linear ordinary difference equations in their coefficient field
- Summation theory. II: Characterizations of \(R {\Pi}{\Sigma}^{\ast}\)-extensions and algorithmic aspects
- Representing \((q-)\)hypergeometric products and mixed versions in difference rings
- Product representations in \(\Pi\Sigma\)-fields
- Greatest factorial factorization and symbolic summation
- A \textit{Mathematica} version of Zeilberger's algorithm for proving binomial coefficient identities
- Multibasic and mixed hypergeometric Gosper-type algorithms
- An extension of Zeilberger's fast algorithm to general holonomic functions
- Structural theorems for symbolic summation
- Computing the algebraic relations of \(C\)-finite sequences and multisequences
- Symbolic summation assists combinatorics
- Fast Algorithms for Refined Parameterized Telescoping in Difference Fields
- A Symbolic Summation Approach to Find Optimal Nested Sum Representations
- SIMPLIFYING SUMS IN ΠΣ*-EXTENSIONS
- Summation in Finite Terms
- The rational component of the solution of a first-order linear recurrence relation with a rational right side
- Decision procedure for indefinite hypergeometric summation
- Smith normal form of dense integer matrices fast algorithms into practice
- Order-degree curves for hypergeometric creative telescoping
- Fast computation of Smith forms of sparse matrices over local rings
- Creative Telescoping for Holonomic Functions
- On the structure of compatible rational functions
- Rational solutions of linear differential and difference equations with polynomial coefficients
