• SIGMA

  • Referenced in 50 articles [sw06904]
  • summation principles of Sigma are: telescoping, creative telescoping and recurrence solving. The underlying machinery...
  • HolonomicFunctions

  • Referenced in 32 articles [sw06666]
  • holonomic functions can be performed via creative telescoping. As subtasks, the following functionalities have been...
  • EKHAD

  • Referenced in 15 articles [sw11334]
  • hypergeometric sums, including Zeilberger’s ”creative telescoping” algorithm, Sister Celine’s algorithm, etc. The most...
  • qZeil

  • Referenced in 32 articles [sw00770]
  • qZeil is a Mathematica implementation of q-analogues...
  • DDMF

  • Referenced in 4 articles [sw08748]
  • The dynamic dictionary of mathematical functions (DDMF). We...
  • AIDA

  • Referenced in 57 articles [sw11535]
  • AIDA Maple Package: Algebraic Invariants and their Differential...
  • PADE

  • Referenced in 3 articles [sw11560]
  • PADE: A Maple package to study the PADE...
  • AperyWZ

  • Referenced in 3 articles [sw11561]
  • AperyWZ, a Maple package that tries to find...
  • Stirling

  • Referenced in 7 articles [sw14278]
  • Summation algorithms for Stirling number identities. We consider...
  • hsum.mpl

  • Referenced in 2 articles [sw14854]
  • Computer algebra package hsum.mpl for Maple. hsum.mpl, Maple...
  • SumTools

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

  • Referenced in 29 articles [sw21089]
  • Maple’s function DEtools: perform Zeilberger’s algorithm...