Eliminations in Weyl algebras and identities.

DOI10.1016/j.aam.2005.03.003zbMath1102.16019OpenAlexW2027587685MaRDI QIDQ817239

Weiping Wang, Yuxia Xu, Tian-ming Wang

Publication date: 8 March 2006

Published in: Advances in Applied Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.aam.2005.03.003

zbMATH Keywords

combinatorial identitiesgeneralized Weyl algebrasZeilberger algorithmcomputer proofseliminationsWu method

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Combinatorial identities, bijective combinatorics (05A19) Ordinary and skew polynomial rings and semigroup rings (16S36) Connections of hypergeometric functions with groups and algebras, and related topics (33C80) Rings of differential operators (associative algebraic aspects) (16S32) Computational aspects of associative rings (general theory) (16Z05) Symbolic computation of special functions (Gosper and Zeilberger algorithms, etc.) (33F10)

Uses Software

• DEtools

Cites Work

• The method of differentiating under the integral sign
• An algorithmic proof theory for hypergeometric (ordinary and ``\(q\)) multisum/integral identities
• A holonomic systems approach to special functions identities
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item