An Extension of Zeilberger's Fast Algorithm to General Holonomic Functions
Chyzak, Frédéric
HAL, hal-01069235 / Harvested from HAL
Text on HAL
Nous étendons l'algorithme rapide de Zeilberger pour la sommation hypergéométrique définie au cas des suites holonomes non hypergéométriques. L'algorithme se généralise aussi au cas différentiel et du q-calcul. Sa justification théorique se fonde sur une description par opérateurs linéaires et sur la théorie de l'holonomie.
Publié le : 2000-07-04
Classification:  $\partial$-finite functions,  holonomic functions,  symbolic integration,  symbolic summation,  Zeilberger's algorithm,  [INFO.INFO-SC]Computer Science [cs]/Symbolic Computation [cs.SC],  [MATH.MATH-CO]Mathematics [math]/Combinatorics [math.CO] 
@article{hal-01069235,
     author = {Chyzak, Fr\'ed\'eric},
     title = {An Extension of Zeilberger's Fast Algorithm to General Holonomic Functions},
     journal = {HAL},
     volume = {2000},
     number = {0},
     year = {2000},
     language = {en},
     url = {http://dml.mathdoc.fr/item/hal-01069235}
}

Chyzak, Frédéric. An Extension of Zeilberger's Fast Algorithm to General Holonomic Functions. HAL, Tome 2000 (2000) no. 0, . http://gdmltest.u-ga.fr/item/hal-01069235/