qZeil
qZeil is a Mathematica implementation of q-analogues of Gosper’s and Zeilberger’s algorithm for proving and finding indefinite and definite q-hypergeometric summation identities
Keywords for this software
References in zbMATH (referenced in 32 articles )
Showing results 1 to 20 of 32.
Sorted by year (- Chen, William Y. C.; Hou, Qing-Hu; Mu, Yan-Ping: The extended Zeilberger algorithm with parameters (2012)
- Garoufalidis, Stavros; Sun, Xinyu: The non-commutative (A)-polynomial of twist knots (2010)
- Schneider, Carsten: A symbolic summation approach to find optimal nested sum representations (2010)
- Schneider, Carsten: Parameterized telescoping proves algebraic independence of sums (2010)
- Schneider, Carsten: Structural theorems for symbolic summation (2010)
- Bowman, Douglas; McLaughlin, James; Sills, Andrew V.: Some more identities of the Rogers-Ramanujan type (2009)
- Kauers, Manuel; Koutschan, Christoph: A Mathematica package for (q)-holonomic sequences and power series (2009)
- Chen, William Y. C.; Hou, Qing-Hu; Mu, Yan-Ping: Non-terminating basic hypergeometric series and the (q)-Zeilberger algorithm (2008)
- Feng, Ruyong; Gao, Xiao-Shan; Huang, Zhenyu: Rational solutions of ordinary difference equations (2008)
- Garoufalidis, Stavros: An Ansatz for the asymptotics of hypergeometric multisums (2008)
- Schneider, Carsten: A refined difference field theory for symbolic summation (2008)
- Driver, Kathy; Prodinger, Helmut; Schneider, Carsten; Weideman, J. A. C.: Padé approximations to the logarithm II: Identities, recurrences, and symbolic computation (2006)
- Abramov, S. A.; Carette, J. J.; Geddes, K. O.; Le, H. Q.: Telescoping in the context of symbolic summation in Maple (2005)
- Chen, William Y. C.; Hou, Qing-Hu; Mu, Yan-Ping: Applicability of the (q)-analogue of Zeilberger’s algorithm (2005)
- Garoufalidis, Stavros; Lan, Yueheng: Experimental evidence for the Volume Conjecture for the simplest hyperbolic non-2-bridge knot (2005)
- Garoufalidis, Stavros; Lê, Thang T. Q.: The colored Jones function is (q)-holonomic (2005)
- Mohammed, Mohamud; Zeilberger, Doron: Sharp upper bounds for the orders of the recurrences output by the Zeilberger and (q)-Zeilberger algorithms (2005)
- Schneider, Carsten: Solving parameterized linear difference equations in terms of indefinite nested sums and products (2005)
- Garoufalidis, Stavros: On the characteristic and deformation varieties of a knot (2004)
- Schneider, Carsten: The summation package Sigma: underlying principles and a rhombus tiling application (2004)
Further publications can be found at: http://www.risc.jku.at/publications/