• English
    • français
  • Help
  •  | 
  • Contact
  •  | 
  • About
  •  | 
  • Login
  • HAL portal
  •  | 
  • Pages Pro
  • EN
  •  / 
  • FR
View Item 
  •   LillOA Home
  • Liste des unités
  • Centre de Recherche en Informatique, Signal et Automatique de Lille (CRIStAL) - UMR 9189
  • View Item
  •   LillOA Home
  • Liste des unités
  • Centre de Recherche en Informatique, Signal et Automatique de Lille (CRIStAL) - UMR 9189
  • View Item
JavaScript is disabled for your browser. Some features of this site may not work without it.

Finding First Integrals Using Normal Forms ...
  • BibTeX
  • CSV
  • Excel
  • RIS

Document type :
Communication dans un congrès avec actes
Title :
Finding First Integrals Using Normal Forms Modulo Differential Regular Chains
Author(s) :
Boulier, Francois [Auteur] refId
Centre de Recherche en Informatique, Signal et Automatique de Lille - UMR 9189 [CRIStAL]
Lemaire, Francois [Auteur] refId
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
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 >
Language :
Anglais
Peer reviewed article :
Oui
Audience :
Internationale
Popular science :
Non
Collections :
  • Centre de Recherche en Informatique, Signal et Automatique de Lille (CRIStAL) - UMR 9189
Source :
Harvested from HAL
Files
Thumbnail
  • https://hal.archives-ouvertes.fr/hal-01234982/document
  • Open access
  • Access the document
Thumbnail
  • https://hal.archives-ouvertes.fr/hal-01234982/document
  • Open access
  • Access the document
Thumbnail
  • https://hal.archives-ouvertes.fr/hal-01234982/document
  • Open access
  • Access the document
Université de Lille

Mentions légales
Université de Lille © 2017