Creative telescoping for rational functions using the Griffiths-Dwork method

Alin Bostan 1, 2 Pierre Lairez 2, 1, * Bruno Salvy 3, *
* Auteur correspondant
3 ARIC - Arithmetic and Computing
Inria Grenoble - Rhône-Alpes, LIP - Laboratoire de l'Informatique du Parallélisme
Résumé : 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.
Type de document :
Communication dans un congrès
ISSAC'13 - 38th International Symposium on Symbolic and Algebraic Computation, Jul 2013, Boston, United States. pp.93-100, 2013, <10.1145/2465506.2465935>
Liste complète des métadonnées


https://hal.inria.fr/hal-00777675
Contributeur : Pierre Lairez <>
Soumis le : samedi 20 avril 2013 - 14:33:08
Dernière modification le : jeudi 9 février 2017 - 15:47:46
Document(s) archivé(s) le : dimanche 21 juillet 2013 - 02:45:09

Fichiers

arxiv.issac24p-bostan.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

Citation

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, Jul 2013, Boston, United States. pp.93-100, 2013, <10.1145/2465506.2465935>. <hal-00777675v2>

Partager

Métriques

Consultations de
la notice

358

Téléchargements du document

188