Hermite Reduction and Creative Telescoping for Hyperexponential Functions

Résumé : Nous présentons un algorithme de réduction qui étend simultanément la réduction de Hermite pour les fractions rationnelles et la réduction de type Hermite pour les fonctions hyper-exponentielles. Cet algorithme fournit une décomposition additive unique et permet de tester l'intégrabilité des fonctions hyper-exponentielles. À partir de cet algorithme de réduction, nous concevons une nouvelle méthode pour calculer des télescopeurs minimaux pour les fonctions hyper-exponentielles de deux variables. Une de ses caractéristiques importantes est qu'elle peut éviter le calcul couteux des certificats. L'implantation de cette méthode est plus efficace en pratique que la fonction DEtools[Zeilberger] de Maple. Qui plus est, nous déduisons une borne sur l'ordre des télescopeurs minimaux, qui est à la fois plus générale et plus fine que la meilleure borne actuellement connue.
Type de document :
Communication dans un congrès
ISSAC'13 - 38th International Symposium on Symbolic and Algebraic Computation, Jul 2013, Boston, United States. pp.77-84, 2013, 〈http://dl.acm.org/citation.cfm?id=2465946&CFID=265930942&CFTOKEN=25666362〉. 〈10.1145/2465506.2465946〉
Liste complète des métadonnées

https://hal.inria.fr/hal-00780067
Contributeur : Alin Bostan <>
Soumis le : mercredi 23 janvier 2013 - 10:08:14
Dernière modification le : jeudi 9 février 2017 - 15:47:24

Identifiants

Collections

Citation

Alin Bostan, Shaoshi Chen, Frédéric Chyzak, Ziming Li, Guoce Xin. Hermite Reduction and Creative Telescoping for Hyperexponential Functions. ISSAC'13 - 38th International Symposium on Symbolic and Algebraic Computation, Jul 2013, Boston, United States. pp.77-84, 2013, 〈http://dl.acm.org/citation.cfm?id=2465946&CFID=265930942&CFTOKEN=25666362〉. 〈10.1145/2465506.2465946〉. 〈hal-00780067〉

Partager

Métriques

Consultations de la notice

268