Eliminations in Weyl algebras and identities.
combinatorial identitiesgeneralized Weyl algebrasZeilberger algorithmcomputer proofseliminationsWu method
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)
- 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
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)