-
lom:general :
-
lom:identifier :
-
lom:catalog :
URI
-
lom:entry :
http://ori.unit-c.fr/uid/unit-ori-wf-1-1675
-
lom:title :
-
lom:string :
Systèmes polynomiaux : que signifie "résoudre" ?
-
lom:language :
fre
-
lom:description :
-
lom:string :
Le cours s'articule en deux grandes parties : les méthodes de résolution et leur application. Il commence par l'étude d'une méthode de résolution réelle de polynômes en une indéterminée et à coefficients rationnels (avec une section dédiée à l'arithmétique par intervalles). Il se poursuit par l'étude de la théorie des bases de Gröbner.
Le choix de présentation peut sembler surprenant : on commence par la 'n et on termine par le début de la chaîne mais nous avons cru bon d'aborder l'étude par les polynômes en une indéterminée qui sont plus familiers aux étudiants de deuxième année de licence et d'introduire les notions propres aux polynômes en plusieurs indéterminées plus progressivement, par le biais notamment d'un mini'projet de tracé de courbes algébriques en deux indéterminées.
Le chapitre 4 présente un algorithme pour le pgcd de deux polynômes en une indéterminée et à coefficients rationnels. Le calcul du pgcd de deux polynômes est une fonctionnalité nécessaire pour la partie RS. Les méthodes employées dans l'algorithme présenté s'appuient sur des techniques de calcul modulaire, qu'on retrouve, en particulier, en cryptographie. Le calcul modulaire constitue
une introduction simple à la théorie des idéaux, qui se développe avec l'étude des bases de Gröbner.
Le chapitre 6 présente, à titre de comparaison, la méthode de Newton pour la résolution numérique des équations. Elle constitue, de loin, la méthode la plus utilisée pour résoudre les systèmes d'équations. On la présente dans le cas d'une équation en une inconnue et dans le cas de deux équations à deux inconnues.
Le cours se conclut par une introduction au logiciel Maple.
-
lom:keyword :
-
lom:string :
calcul formel
-
lom:keyword :
-
lom:string :
équation polynomiale
-
lom:keyword :
-
lom:string :
résolution d'équations
-
lom:keyword :
-
lom:string :
bases de Gröbner
-
lom:keyword :
-
lom:structure :
-
lom:source :
LOMv1.0
-
lom:value :
collection
-
lom:aggregationLevel :
-
lom:source :
LOMv1.0
-
lom:value :
3
-
lom:lifeCycle :
-
lom:contribute :
-
lom:role :
-
lom:source :
LOMv1.0
-
lom:value :
author
-
lom:entity :
BEGIN:VCARD
VERSION:3.0
N:Boulier;François;;;
FN:François Boulier
EMAIL;TYPE=INTERNET:
ORG:Université Lille1 - Sciences et technologies
END:VCARD
-
lom:date :
-
lom:dateTime :
2009-01-25
-
lom:contribute :
-
lom:role :
-
lom:source :
LOMv1.0
-
lom:value :
publisher
-
lom:entity :
BEGIN:VCARD
VERSION:3.0
N:Université Lille1 - Sciences et technologies;;;;
FN:Université Lille1 - Sciences et technologies
EMAIL;TYPE=INTERNET:
ORG:Université Lille1 - Sciences et technologies
END:VCARD
-
lom:date :
-
lom:dateTime :
2009-01-25
-
lom:metaMetadata :
-
lom:identifier :
-
lom:catalog :
URI
-
lom:entry :
http://ori.unit-c.fr/uid/unit-ori-wf-1-1676
-
lom:contribute :
-
lom:role :
-
lom:source :
LOMv1.0
-
lom:value :
creator
-
lom:entity :
BEGIN:VCARD
VERSION:3.0
N:Gilles-Gallet;Isabelle;Isabelle;;;
FN:Isabelle Gilles-Gallet;Isabelle
EMAIL;TYPE=INTERNET:
ORG:UNIT
END:VCARD
-
lom:date :
-
lom:dateTime :
2009-02-05
-
lom:contribute :
-
lom:role :
-
lom:source :
LOMv1.0
-
lom:value :
validator
-
lom:entity :
BEGIN:VCARD
VERSION:3.0
N:Gilles-Gallet;Isabelle;Isabelle;;;
FN:Isabelle Gilles-Gallet;Isabelle
EMAIL;TYPE=INTERNET:
ORG:UNIT
END:VCARD
-
lom:date :
-
lom:dateTime :
2009-02-13
-
lom:metadataSchema :
LOMv1.0
-
lom:metadataSchema :
LOMFRv1.0
-
lom:metadataSchema :
SupLOMFRv1.0
-
lom:technical :
-
lom:format :
text/html
-
lom:format :
application/pdf
-
lom:format :
application/x-tar
-
lom:requirement :
-
lom:otherPlatformRequirements :
-
lom:string :
Nécessite Adobe Acrobat Reader ou tout autre logiciel permettant la lecture de documents au format PDF
Une partie des TD est réalisée à l'aide du logiciel Maple 9
-
lom:location :
http://www.lifl.fr/~boulier/polycopies/resoudre.pdf
-
lom:educational :
-
lom:learningResourceType :
-
lom:source :
LOMv1.0
-
lom:value :
lecture
-
lom:learningResourceType :
-
lom:source :
LOMv1.0
-
lom:value :
exercise
-
lom:learningResourceType :
-
lom:source :
SupLOMFRv1.0
-
lom:value :
jeu de données
-
lom:learningResourceType :
-
lom:source :
LOMv1.0
-
lom:value :
exam
-
lom:intendedEndUserRole :
-
lom:source :
LOMv1.0
-
lom:value :
learner
-
lom:context :
-
lom:source :
LOMFRv1.0
-
lom:value :
licence
-
lom:typicalAgeRange :
-
lom:typicalLearningTime :
-
lom:description :
-
lom:string :
Répartition : 12h de cours, 18h de TD en salle banalisée, 18h de TD en salle équipée d'ordinateurs (logiciel MAPLE 9, sous Linux Ubuntu)
-
lomfr:credit :
5 ECTS
-
lom:rights :
-
lom:cost :
-
lom:source :
LOMv1.0
-
lom:value :
no
-
lom:copyrightAndOtherRestrictions :
-
lom:source :
LOMv1.0
-
lom:value :
yes
-
lom:description :
-
lom:string :
Document libre, dans le cadre de la licence Creative Commons (http://creativecommons.org/licenses/by-nd/2.0/fr/), citation de l'auteur obligatoire et interdiction de désassembler (paternité, pas de modification)
-
lom:classification :
-
lom:purpose :
-
lom:source :
LOMv1.0
-
lom:value :
discipline
-
lom:taxonPath :
-
lom:source :
-
lom:string :
Classification UNIT
-
lom:taxon :
-
lom:id :
2208
-
lom:entry :
-
lom:string :
Mathématiques - Autres
-
lom:taxon :
-
lom:id :
902
-
lom:entry :
-
lom:string :
Automatique - Commande automatique
-
lom:taxonPath :
-
lom:source :
-
lom:taxon :
-
lom:id :
518.4
-
lom:entry :
-
lom:taxon :
-
lom:id :
629.8
-
lom:entry :
|