MultInt, a MAPLE package for multiple integration by the WZ method

DOI10.1006/jsco.2002.0561zbMath1015.33013OpenAlexW2087813593MaRDI QIDQ1864891

Akalu Tefera

Publication date: 23 March 2003

Published in: Journal of Symbolic Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1006/jsco.2002.0561

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Packaged methods for numerical algorithms (65Y15) Symbolic computation of special functions (Gosper and Zeilberger algorithms, etc.) (33F10)

Related Items

Multi-variable Zeilberger and Almkvist-Zeilberger algorithms and the sharpening of Wilf-Zeilberger theory, Rational approximations of values of the Gamma function on rationals, Integral Representation and Algorithms for Closed Form Summation, MultInt, Rational approximations for values of derivatives of the Gamma function, Creative Telescoping for Holonomic Functions

Uses Software

• Maple
• qZeil

Cites Work

• qZeil
• An algorithmic proof theory for hypergeometric (ordinary and ``\(q\)) multisum/integral identities
• A fast algorithm for proving terminating hypergeometric identities
• A one-line proof of the Habsieger-Zeilberger \(G_ 2\) constant term identity
• Some questions concerning computer-generated proofs of a binomial double- sum identity
• Binomial identities -- combinatorial and algorithmic aspects
• A multiple integral evaluation inspired by the multi-WZ method
• Algorithms for \(q\)-hypergeometric summation in computer algebra
• A Proof of the $G_2 $ Case of Macdonald’s Root System-Dyson Conjecture
• Some Conjectures for Root Systems
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item