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

Symbolic computation and algebraic computation (68W30) Combinatorial optimization (90C27) Other special functions (33E99) Symbolic computation of special functions (Gosper and Zeilberger algorithms, etc.) (33F10)

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