Finding First Integrals Using Normal Forms ...
Document type :
Communication dans un congrès avec actes
Title :
Finding First Integrals Using Normal Forms Modulo Differential Regular Chains
Author(s) :
Boulier, François [Auteur]
Centre de Recherche en Informatique, Signal et Automatique de Lille - UMR 9189 [CRIStAL]
Lemaire, Francois [Auteur]
Centre de Recherche en Informatique, Signal et Automatique de Lille - UMR 9189 [CRIStAL]
Centre de Recherche en Informatique, Signal et Automatique de Lille - UMR 9189 [CRIStAL]
Lemaire, Francois [Auteur]
Centre de Recherche en Informatique, Signal et Automatique de Lille - UMR 9189 [CRIStAL]
Conference title :
Computer Algebra in Scientific Computing 2015
City :
Aachen
Country :
Allemagne
Start date of the conference :
2015-09
Book title :
LNCS 9301
Journal title :
Computer Algebra in Scientific Computing
Publisher :
Springer
Publication date :
2015-09
English keyword(s) :
First integral
linear algebra
differential algebra
nonlinear system
linear algebra
differential algebra
nonlinear system
HAL domain(s) :
Informatique [cs]/Calcul formel [cs.SC]
English abstract : [en]
This paper introduces a definition of polynomial first inte-grals in the differential algebra context and an algorithm for computing them. The method has been coded in the Maple computer algebra system and is illustrated ...
Show more >This paper introduces a definition of polynomial first inte-grals in the differential algebra context and an algorithm for computing them. The method has been coded in the Maple computer algebra system and is illustrated on the pendulum and the Lotka-Volterra equations. Our algorithm amounts to finding linear dependences of rational fractions, which is solved by evaluation techniques.Show less >
Show more >This paper introduces a definition of polynomial first inte-grals in the differential algebra context and an algorithm for computing them. The method has been coded in the Maple computer algebra system and is illustrated on the pendulum and the Lotka-Volterra equations. Our algorithm amounts to finding linear dependences of rational fractions, which is solved by evaluation techniques.Show less >
Language :
Anglais
Peer reviewed article :
Oui
Audience :
Internationale
Popular science :
Non
Collections :
Source :
Files
- https://hal.archives-ouvertes.fr/hal-01234982/document
- Open access
- Access the document
- https://hal.archives-ouvertes.fr/hal-01234982/document
- Open access
- Access the document
- https://hal.archives-ouvertes.fr/hal-01234982/document
- Open access
- Access the document
- document
- Open access
- Access the document
- paper.pdf
- Open access
- Access the document