AperyWZ, a Maple package that tries to find Apery-type irrationality proofs, using WZ pairs. (There are five Maple packages accompanying the article Computerized Deconstruction, by Doron Zeilberger)
Keywords for this software
References in zbMATH (referenced in 3 articles )
Showing results 1 to 3 of 3.
- Hessami Pilehrood, Kh.; Hessami Pilehrood, T.: A $q$-analogue of the Bailey-Borwein-Bradley identity (2011)
- Zudilin, V.V.: Arithmetic hypergeometric series (2011)
- Zeilberger, Doron: Computerized deconstruction. (2003)