• SumTools

  • Referenced in 62 articles [sw19250]
  • SumTools [Hypergeometric]: perform Koepf-Zeilberger’s algorithm...
  • qZEILBERGER

  • Referenced in 13 articles [sw11575]
  • improved (and simplified) q-Zeilberger algorithm for single-sum definite hypergeometric summation. It does what ... output by the Zeilberger and q-Zeilberger algorithms” is accompanied by Maple packages ZEILBERGER ... implement the simplified Zeilberger and q-Zeilberger Algorithms, described in the article...
  • DEtools

  • Referenced in 30 articles [sw21089]
  • Maple’s function DEtools: perform Zeilberger’s algorithm (differential case...
  • qZeil

  • Referenced in 32 articles [sw00770]
  • analogues of Gosper’s and Zeilberger’s algorithm for proving and finding indefinite and definite...
  • ZEILBERGER

  • Referenced in 12 articles [sw11574]
  • implements the new-improved (and simplified) Zeilberger algorithm for single-sum definite hypergeometric summation ... does what zeil does in EKHAD and Zeilberger in the built-in Maple package SumTools ... output by the Zeilberger and q-Zeilberger algorithms” is accompanied by Maple packages ZEILBERGER ... implement the simplified Zeilberger and q-Zeilberger Algorithms, described in the article...
  • NewZeil.m

  • Referenced in 9 articles [sw06646]
  • output by the Zeilberger and $q$-Zeilberger algorithms We do what the title promises...
  • MultiZeilberger

  • Referenced in 6 articles [sw11335]
  • accompany Multi-Variate Zeilberger and Almkvist-Zeilberger Algorithms and the Sharpening of Wilf-Zeilberger Theory...
  • EKHAD

  • Referenced in 16 articles [sw11334]
  • satisfied by hypergeometric sums, including Zeilberger’s ”creative telescoping” algorithm, Sister Celine’s algorithm...
  • fastZeil

  • Referenced in 5 articles [sw14275]
  • Mathematica version of Zeilberger’s algorithm for proving binomial coefficient identities. Based on Gosper ... algorithm for indefinite hypergeometric summation, Zeilberger’s algorithm for proving binomial coefficient identities constitutes...
  • FindHypergeometric

  • Referenced in 1 article [sw12650]
  • Deconstructing the Zeilberger algorithm. By looking under the hood of Zeilberger’s algorithm, as simplified...
  • twoFone

  • Referenced in 1 article [sw12651]
  • Deconstructing the Zeilberger algorithm. By looking under the hood of Zeilberger’s algorithm, as simplified...
  • NesApery

  • Referenced in 1 article [sw21283]
  • Using, Inter-Alia, the Amazing Almkvist-Zeilberger Algorithm]. Roger Apery’s seminal method for proving...
  • CfiniteIntegral

  • Referenced in 1 article [sw21257]
  • show how the continuous Almkvist-Zeilberger algorithm can be used to efficiently discover and prove...
  • MVPoisson

  • Referenced in 4 articles [sw18574]
  • this context, by employing Wilf-Zeilberger theory and associated algorithms. A symbolic computation package...
  • Chomp3Rows

  • Referenced in 8 articles [sw11576]
  • finds a fast (O(log(a))) algorithm for playing 3-rowed Chomp, starting with ... Maple package Chomp3Rows is available from Zeilberger’s website, http://www.math.temple.edu/ zeilberg...
  • ChowRobbins

  • Referenced in 1 article [sw11430]
  • stop. It accompanies Luis Medina and Doron Zeilberger’s article. That same article is also ... based on an algorithm designed by Arvind Ayyer and Doron Zeilberger). (Posted June...
  • MarkovWZ

  • Referenced in 5 articles [sw11556]
  • known WZ theory given by Wilf and Zeilberger using ideas which are due to Markov ... combined and give a new algorithmic procedure for convergence-acceleration. The authors introduce a Maple...
  • RUIN

  • Referenced in 1 article [sw11436]
  • Gambler’s Ruin problem. It accompanies Doron Zeilberger’s article Symbol Crunching with the Gambler ... rather a description of a computer algorithm illustrated by a case study of ruining problem...
  • RookWalks

  • Referenced in 2 articles [sw11424]
  • rook walks” by Manuel Kauers and Doron Zeilberger. Summary: We present guesses, based on intensive ... pose it as a challenge to develop algorithms which can also certify the correctness...
  • Engel

  • Referenced in 2 articles [sw00238]
  • Engel expansions of q-series by computer algebra...