EKHAD

EKHAD [Most recent update: September 13, 2000] is a package of Maple programs for finding recurrences satisfied by hypergeometric sums, including Zeilberger’s ”creative telescoping” algorithm, Sister Celine’s algorithm, etc. The most recent updates have been for the purpose of adapting the programs to later releases of Maple.


References in zbMATH (referenced in 15 articles )

Showing results 1 to 15 of 15.
Sorted by year (citations)

  1. Shar, Nathaniel; Zeilberger, Doron: The (ordinary) generating functions enumerating $123$-avoiding words with $r$ occurrences of each of $1, 2, \dots, n$ are always algebraic (2016)
  2. Shalosh B. Ekhad, Doron Zeilberger: The C-finite Ansatz Meets the Holonomic Ansatz (2015) arXiv
  3. Meehan, Sean; Tefera, Akalu; Weselcouch, Michael; Zeleke, Aklilu: Proofs of Ruehr’s identities (2014)
  4. Ekhad, Shalosh B.; Zeilberger, Doron: Balls in boxes: variations on a theme of Warren Ewens and Herbert Wilf (2013)
  5. Guillera, Jesús: WZ-proofs of “divergent” Ramanujan-type series (2013)
  6. Marberg, Eric: Crossings and nestings in colored set partitions (2013)
  7. Zeilberger, Doron: Towards a symbolic computational philosophy (and methodology!) for mathematics (2013)
  8. Brereton, Justin; Farid, Amelia; Karnib, Maryam; Marple, Gary; Quenon, Alex; Tefera, Akalu: Combinatorial and automated proofs of certain identities (2011)
  9. Apagodu, Moa; Zeilberger, Doron: Some nice sums are almost as nice if you turn them upside down (2010)
  10. Eğecioğlu, Ömer; Redmond, Timothy; Ryavec, Charles: A multilinear operator for almost product evaluation of Hankel determinants (2010)
  11. Guillera, Jesús: On WZ-pairs which prove Ramanujan series (2010)
  12. Vidunas, Raimundas: A generalization of Kummer’s identity. (2002)
  13. Koornwinder, Tom H.: Identities of nonterminating series by Zeilberger’s algorithm (1998)
  14. Zeilberger, Doron: How much should a 19th-century French bastard inherit (1998)
  15. Amdeberhan, Tewodros; Zeilberger, Doron: Hypergeometric series acceleration via the WZ method (1997)