Eliminations in Weyl algebras and identities.

DOI10.1016/J.AAM.2005.03.003zbMATH Open1102.16019OpenAlexW2027587685MaRDI QIDQ817239FDOQ817239

Tianming Wang, Weiping Wang, Yuxia Xu

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

Recommendations

• Elimination in Weyl algebra and \(q\)-identities
• Elimination and identities with the integral sign
• scientific article
• Non-commutative elimination in Ore algebras proves multivariate identities
• A fast algorithm for proving terminating hypergeometric identities

zbMATH Keywords

combinatorial identitiesgeneralized Weyl algebrasZeilberger algorithmcomputer proofseliminationsWu method

Mathematics Subject Classification ID

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

Cites Work

• A holonomic systems approach to special functions identities
• Title not available (Why is that?)
• Title not available (Why is that?)
• The method of differentiating under the integral sign
• An algorithmic proof theory for hypergeometric (ordinary and ``\(q\)) multisum/integral identities
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (2)

• Elimination and identities with the integral sign
• Elimination in Weyl algebra and \(q\)-identities

Uses Software

• DEtools

This page was built for publication: Eliminations in Weyl algebras and identities.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q817239)