Skip to Main content Skip to Navigation

Contribution à l'algorithmique en algèbre différentielle

François Lemaire 1, 2
2 CALFOR - Calcul Formel
LIFL - Laboratoire d'Informatique Fondamentale de Lille
Abstract : This thesis is dedicated to the study of nonlinear partial differential equations systems. The chosen approach is using differential algebra. Given a system of differential equations, we seek information about its solutions. To do so, we first compute particular systems (called differential regular chains) such that the union of their solutions coincide with the solutions of the initial system.

This thesis mainly presents new results in symbolic computation. Chapter 2 clarifies the link between regular chains and differential regular chains. Two new algorithms (given in chapters 4 and 5) improve existing algorithms for computing these differential regular chains. These algorithms involve purely algebraic techniques which help reduce expression swell and help avoid unnecessary computations. Previously intractable problems have been solved using these techniques. An algorithm computing the normal form of a differential polynomial modulo a differential regular chain is described in chapter 2.

The last results deal with analysis. The solutions we consider are formal power series. Chapter 3 gives sufficient conditions for a solution to be analytic. The same chapter presents a counter-example to a conjecture dealing with the analyticity of formal solutions.
Complete list of metadata
Contributor : François Lemaire Connect in order to contact the contributor
Submitted on : Friday, May 24, 2002 - 9:24:30 PM
Last modification on : Friday, April 24, 2020 - 5:48:04 PM
Long-term archiving on: : Tuesday, September 11, 2012 - 5:25:12 PM


  • HAL Id : tel-00001363, version 1



François Lemaire. Contribution à l'algorithmique en algèbre différentielle. Génie logiciel [cs.SE]. Université des Sciences et Technologie de Lille - Lille I, 2002. Français. ⟨tel-00001363⟩



Record views


Files downloads