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

Differential Algebra for Derivations with Nontrivial Commutation Rules

Evelyne Hubert 1
1 CAFE - Computer algebra and functional equations
CRISAM - Inria Sophia Antipolis - Méditerranée
Abstract : The classical assumption of differential algebra, differential elimination theory and formal integrability theory is that the derivations do commute. That is the standard case arising from systems of partial differential equations written in terms of the derivations w.r.t. the independant variables. We inspect here the case where the derivations satisfy nontrivial commutation rules. That situation arises for instance when we consider a system of equations on the differential invariants of a Lie group action. We develop the algebraic foundations for such a situation. They lead to algorithms for completion to formal integrability and differential elimination.
Document type :
Complete list of metadata

Contributor : Rapport de Recherche Inria Connect in order to contact the contributor
Submitted on : Tuesday, May 23, 2006 - 6:13:57 PM
Last modification on : Friday, February 4, 2022 - 3:15:44 AM
Long-term archiving on: : Sunday, April 4, 2010 - 10:28:44 PM


  • HAL Id : inria-00071606, version 1



Evelyne Hubert. Differential Algebra for Derivations with Nontrivial Commutation Rules. RR-4972, INRIA. 2003. ⟨inria-00071606⟩



Record views


Files downloads