• Liste des parcours dans lesquels apparaît l'EC

• Mention / Parcours / Parcours type	ECTS	Points
  Mathématiques et Applications / Mathématiques Fondamentales / MF_AGREG	6	60

• Équipe pédagogique

• • Responsables

  • NINET Alain (Responsable)

    Département : Mathématiques (UFR SEN)

• Volume horaire

• Nature	CM	TP	Total
  Durée	30h	30h	60h

• Modalités de contrôle des connaissances (MCC)

• Epreuves	Nature	Oral	Oral	EOT	EOT	Total
  	Durée	1h	1h	1h	1h
  Cas général	1ère session	50	50			100%
  	2nd session				100	100%
  Dispense contrôle continu	1ère session			100		100%
  	2nd session				100	100%

• Modalités de contrôle des connaissances (MCC)

• Cas général

• Nature	Durée	1ère session	2ème session
  	Oral	1h	50%	0%
  Oral	1h	50%	0%
  EOT	1h	0%	100%

• Dispense contrôle continu

• Nature	Durée	1ère session	2ème session
  	EOT	1h	100%	0%
  EOT	1h	0%	100%

• Objectifs

• Maîtriser le calcul formel, ses outils, ses algorithmes classiques.

• Compétences spécifiques visées

• Pouvoir analyser un texte, le critiquer et proposer des améliorations aux méthodes et à la modélisation exposée.

• Compétences générales visées

• Aptitude à la démarche intellectuelle propre à la discipline (modélisation, raisonnement déductif), notions d?histoire des mathématiques, connaissance des divers domaines d?intervention dans les autres disciplines scientifiques.

• Connaissances requises

• EC d?algèbre, de calcul formel et de TICE de M1

• Programme

• Réappropriation et complément des connaissances en algèbre et en calcul formel de M1 par l'étude d'une quinzaine de textes scientifiques de 3 à 5 pages portant sur des sujets de calcul formel (designs, lien entre paramétrisation rationnelle et équation implicite polynômiale, ?), nécessitant :- Une modélisation d?un problème,- Une analyse de la complexité des méthodes de résolution,- Une implémentation à l'aide d'un logiciel de calcul formel (Maxima).