Additive Normal Forms and Integration of Differential Fractions

Abstract : This paper presents two new normal forms for fractions of differential polynomials, as well as algorithms for computing them. The first normal form allows to write a fraction as the derivative of a fraction plus a non integrable part. The second normal form is an extension of the first one, involving iterated differentiations. The main difficulty in this paper consists in defining normal forms which are linear operations over the field of constants, a property which was missing in our previous works. Our normal forms do not require fractions to be converted into polynomials, a key feature for further problems such as integrating differential fractions, and more generally solving differential equations.
Type de document :
Article dans une revue
Journal of Symbolic Computation, Elsevier, 2016
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-01245378
Contributeur : François Lemaire <>
Soumis le : jeudi 25 octobre 2018 - 10:25:06
Dernière modification le : lundi 5 novembre 2018 - 10:36:34
Document(s) archivé(s) le : samedi 26 janvier 2019 - 13:39:26

Fichier

bllrr.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01245378, version 1

Citation

François Boulier, Joseph Lallemand, François Lemaire, Georg Regensburger, Markus Rosenkranz. Additive Normal Forms and Integration of Differential Fractions. Journal of Symbolic Computation, Elsevier, 2016. 〈hal-01245378〉

Partager

Métriques

Consultations de la notice

311

Téléchargements de fichiers

21