Eliminations in Weyl algebras and identities.

DOI10.1016/J.AAM.2005.03.003MaRDI QIDQ817239zbMATH OpenOpenAlexFDO

Authors Weiping Wang, Yuxia Xu, Tianming 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) 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)

Recommendations

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

Cites work

• scientific article; zbMATH DE number 176215 (Why is no real title available?)
• scientific article; zbMATH DE number 1555915 (Why is no real title available?)
• scientific article; zbMATH DE number 872231 (Why is no real title available?)
• scientific article; zbMATH DE number 3380631 (Why is no real title available?)
• A holonomic systems approach to special functions identities
• An algorithmic proof theory for hypergeometric (ordinary and ``\(q\)) multisum/integral identities
• The method of differentiating under the integral sign

Cited in

(2)

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

Describes a project that uses

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)