Passer à la navigation principale Passer à la recherche Passer au contenu principal

Creative telescoping for rational functions using the Griffiths-Dwork method

  • INRIA Institut National de Recherche en Informatique et en Automatique

Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collectionContribution à une conférenceRevue par des pairs

47 Citations (Scopus)

Résumé

Creative telescoping algorithms compute linear differential equations satisfied by multiple integrals with parameters. We describe a precise and elementary algorithmic version of the Griffiths-Dwork method for the creative telescoping of rational functions. This leads to bounds on the order and degree of the coefficients of the differential equation, and to the first complexity result which is single exponential in the number of variables. One of the important features of the algorithm is that it does not need to compute certificates. The approach is vindicated by a prototype implementation.

langue originaleAnglais
titreISSAC 2013 - Proceedings of the 38th International Symposium on Symbolic and Algebraic Computation
Pages93-100
Nombre de pages8
Les DOIs
étatPublié - 23 août 2013
Evénement38th International Symposium on Symbolic and Algebraic Computation, ISSAC 2013 - Boston, MA, États-Unis
Durée: 26 juin 201329 juin 2013

Série de publications

NomProceedings of the International Symposium on Symbolic and Algebraic Computation, ISSAC

Une conférence

Une conférence38th International Symposium on Symbolic and Algebraic Computation, ISSAC 2013
Pays/TerritoireÉtats-Unis
La villeBoston, MA
période26/06/1329/06/13

Empreinte digitale

Examiner les sujets de recherche de « Creative telescoping for rational functions using the Griffiths-Dwork method ». Ensemble, ils forment une empreinte digitale unique.

Contient cette citation