HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
Journal articles

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.
Document type :
Journal articles
Complete list of metadata

Cited literature [14 references]  Display  Hide  Download

Contributor : François Lemaire Connect in order to contact the contributor
Submitted on : Thursday, October 25, 2018 - 10:25:06 AM
Last modification on : Monday, May 16, 2022 - 5:58:02 PM
Long-term archiving on: : Saturday, January 26, 2019 - 1:39:26 PM


Files produced by the author(s)


  • HAL Id : hal-01245378, version 1


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⟩



Record views


Files downloads