Creative telescoping for rational functions using the Griffiths-Dwork method - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2013

Creative telescoping for rational functions using the Griffiths-Dwork method

Abstract

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 simply 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.
Les algorithmes de création télescopique calculent les équations différentielles linéaires vérifiées par les intégrales multiples à paramètre. Nous décrivons, en utilisant la méthode de Griffiths-Dwork, un tel algorithme pour les fractions rationnelles. Cela permet d'obtenir des bornes sur l'ordre et le degré des coefficients des équations différentielles recherchées, ainsi qu'au premier résultat de complexité qui est simplement exponentiel en le nombre de variables. Un aspect important de l'algorithm est que le calcul du certificat n'est pas nécessaire. L'intérêt pratique de l'approche est démontré par une première implémentation.
Fichier principal
Vignette du fichier
arxiv.issac24p-bostan.pdf (275.01 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-00777675 , version 1 (17-01-2013)
hal-00777675 , version 2 (20-04-2013)

Identifiers

Cite

Alin Bostan, Pierre Lairez, Bruno Salvy. Creative telescoping for rational functions using the Griffiths-Dwork method. ISSAC'13 - 38th International Symposium on Symbolic and Algebraic Computation, Northeastern University, Boston, Massachusetts, USA, Jul 2013, Boston, United States. pp.93-100, ⟨10.1145/2465506.2465935⟩. ⟨hal-00777675v2⟩
297 View
380 Download

Altmetric

Share

Gmail Facebook X LinkedIn More