Polynomial ring automorphisms, rational \((w,\sigma )\)-canonical forms, and the assignment problem

DOI10.1016/j.jsc.2010.03.001zbMath1189.33038OpenAlexW2102981110MaRDI QIDQ972847

Marko Petkovsek, Sergey A. Abramov

Publication date: 21 May 2010

Published in: Journal of Symbolic Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jsc.2010.03.001

zbMATH Keywords

weight functionrational canonical formpolynomial ring automorphismproduct representation of hypergeometric termsrational normal form

Mathematics Subject Classification ID

Related Items (9)

Refined telescoping algorithms in RΠΣ -extensions to reduce the degrees of the denominators✱ ⋮ Representation of hypergeometric products of higher nesting depths in difference rings ⋮ Summation theory. II: Characterizations of \(R {\Pi}{\Sigma}^{\ast}\)-extensions and algorithmic aspects ⋮ Minimal representations and algebraic relations for single nested products ⋮ A difference ring theory for symbolic summation ⋮ On rational and hypergeometric solutions of linear ordinary difference equations in \(\Pi\Sigma^\ast\)-field extensions ⋮ Simplifying Multiple Sums in Difference Fields ⋮ Term Algebras, Canonical Representations and Difference Ring Theory for Symbolic Summation ⋮ Representation of hypergeometric products in difference rings

Cites Work

• Unnamed Item
• Unnamed Item
• Rational normal forms and minimal decompositions of hypergeometric terms
• Theory of summation in finite terms
• The method of creative telescoping
• Hypergeometric solutions of linear recurrences with polynomial coefficients
• Galois theory of difference equations
• On solutions of linear ordinary difference equations in their coefficient field
• Product representations in \(\Pi\Sigma\)-fields
• Greatest factorial factorization and symbolic summation
• Rational summation and Gosper-Petkovšek representation
• Multibasic and mixed hypergeometric Gosper-type algorithms
• Hypergeometric dispersion and the orbit problem
• Polynomial-time algorithm for the orbit problem
• Summation in Finite Terms
• Decision procedure for indefinite hypergeometric summation

This page was built for publication: Polynomial ring automorphisms, rational \((w,\sigma )\)-canonical forms, and the assignment problem