Année 2007-2008

• X2005, Calcul formel (PA 1 ``Informatique'', thématique ``Algorithmique'')

  Les dates et horaires qui suivent sont fixes, mais l'enchaînement des thèmes abordés en cours n'est que prévisionnel. Les notes de chaque séances seront éventuellement mises à jour juste avant ou juste après les dites séances.

  • Les notes de cours.
  • La page des projets.
  • 26 septembre, 13h15-17h00 : Polynômes (Multiplication, division, algorithme d'Euclide et applications : approximants de Padé, approximations rationnelles). Chapitre 2 du cours.
  • 3 octobre, 13h30-17h15 : Multiplication et résultant rapides. Chapitre 3 du cours.
  • 10 octobre, 13h30-17h15 : Algèbre linéaire. Chapitre 4 du cours.
  • 17 octobre, 13h30-17h15 : Applications des bases de Gröbner (résolution de systèmes polynomiaux, équations implicites, appartenance à un idéal). Transparents. Chapitre 6 du cours. TD et son fichier auxiliaire.
  • 24 octobre, 13h30-17h15 : Algorithme de calcul de bases de Gröbner. Transparents. Chapitre 6 du cours. TD.
  • 31 octobre : relâche, pas de cours.
  • 7 novembre, 13h30-17h15 : PGCD rapide + Intégration symbolique, le cas rationnel. Chapitre 9 du cours. TD.
  • 14 novembre, 13h30-17h15 : Intégration symbolique, le cas liouvillien. Transparents.
  • 21 novembre : relâche, pas de cours.
  • 28 novembre, 13h30-17h15 : Réduction de réseaux (algorithme LLL et application à la recherche de relations entre constantes numériques). Chapitre 8 du cours.
  • 5 décembre, 13h30-17h15 : Sommation symbolique. Transparents. Chapitre 10 du cours. TD.
  • Vendredi 14 décembre, 9h-10h30 : interrogation orale.
  • Aide en ligne sur magma.
  • Des références.

• X2005, Stage de recherche

  Sujet de stage de recherche proposé pour printemps-été 2008. Possibilité d'autres sujets, me contacter.

Année 2006-2007

• X2004, Calcul formel (Majeure 1)

  • Les notes de cours.
  • La page des projets.
  • 27 septembre, 13h30-17h15 : Polynômes (Multiplication, division, algorithme d'Euclide et applications : approximants de Padé, approximations rationnelles). Notes de cours dans le chapitre 2.
  • 4 octobre, 13h30-17h15 : Intégration symbolique, le cas rationnel. Notes de cours dans le chapitre 9. TD.
  • 11 octobre, 13h30-17h15 : Multiplication et résultant rapides. Notes de cours dans le chapitre 3.
  • 18 octobre, 13h30-17h15 : Algèbre linéaire. Notes de cours dans le chapitre 4.
  • 25 octobre, 13h30-17h15 : Applications des bases de Gröbner (résolution de systèmes polynomiaux, équations implicites, appartenance à un idéal). Transparents. Notes de cours dans le chapitre 6. TD et son fichier auxiliaire.
  • 1er novembre : férié, pas de cours
  • 8 novembre, 13h30-17h15 : Algorithme de calcul de bases de Gröbner. Transparents. Notes de cours dans le chapitre 6. TD.
  • 15 novembre : attention, cours reporté sur les 29/11 et 06/12
  • 22 novembre : relâche, pas de cours
  • 29 novembre, 10h15-12h15 + 13h30-17h15 : Réduction de réseaux (algorithme LLL et application à la recherche de relations entre constantes numériques) + Sommation symbolique. Transparents. Notes de cours dans les chapitres 8 et 10. TD.
  • 6 décembre, 10h15-12h15 + 13h30-17h15 : Sommation symbolique (fin) + Calcul sur les solutions d'équations différentielles
  • 13 décembre, horaires à définir : interrogation orale
  • Aide en ligne sur magma.
  • Des références.

Année 2005-2006

• X2003, Calcul formel (Majeure 1)

  • Présentation du cours.
  • Calendrier du cours (modifié le 19/10/2005).
  • Pour bien faire fonctionner emacs : un magma-mode, les lignes à ajouter au .emacs (attention, correction le 19/10/2005).
  • Bloc numéro 1 : les transparents sur magma, les mêmes par 4, les transparents sur Euclide et résultant, les mêmes par 4, le TD.
  • Bloc numéro 2 : les notes de cours (chapitre 5, pages 35-45), le TD, un corrigé.
  • Bloc numéro 3 : les transparents sur la multiplication rapide (Karatsuba, Fourier, Newton), les mêmes par 4, les notes de cours, le TD.
  • Bloc numéro 4 : les transparents l'algorithme d'Euclide rapide, les mêmes par 4, les notes de cours, le TD.
  • Bloc numéro 5 : les transparents sur les bases de Gröbner et leurs applications, les notes de cours (chapitre 2, pages 7-22), le TD, son fichier auxiliaire, un corrigé.
  • Bloc numéro 6 : les transparents sur l'algorithme de Buchberger, les notes de cours (chapitre 3, pages 23-30), le TD.
  • Bloc numéro 7 : les transparents sur les algorithmes de sommation symbolique par création télescopique, le TD.
  • Aide en ligne sur magma.

Année 2004-2005

• X2002, Calcul formel (Majeure 1)

  • Présentation du cours.
  • Calendrier du cours.
  • Bloc numéro 1 : les transparents du cours, les préliminaires et notes de cours, le TD, un corrigé du TD.
  • Bloc numéro 2 : les transparents du cours, les notes de cours, le TD, un corrigé du TD.
  • Bloc numéro 3 : les transparents du cours, des notes de cours, le TD et son annexe.
  • Bloc numéro 4 : les transparents du cours, des notes de cours, le TD.
  • Bloc numéro 5 : les transparents du cours, les notes de cours, le TD.
  • Bloc numéro 6 : les transparents du cours, les notes de cours, le TD.
  • Bloc numéro 7 : les transparents du cours, le TD.
  • Bloc numéro 8 : les notes de cours, le TD, un corrigé du TD.
  • Bloc numéro 9 : les transparents du cours, le TD, un corrigé du TD.
  • Aide en ligne sur Magma.

Année 2003-2004

• X2001, Calcul formel (Majeure 1)

  • Présentation du cours.
  • Calendrier du cours.
  • Bloc numéro 1 : le cours et son TD.
  • Bloc numéro 2 : le cours et son TD.
  • Bloc numéro 3 : le cours et ses notes de cours (très succintes), son TD et son fichier annexe.
  • Bloc numéro 4 : le cours et son TD.
  • Bloc numéro 5 : le cours, son TD et son fichier annexe.
  • Bloc numéro 6 : le cours et son TD.
  • Bloc numéro 7 : le cours.
  • Bloc numéro 8 : le cours.
  • Bloc numéro 9 : le cours.
  • Aide en ligne sur Magma.

Année 2002-2003

• X2001, Informatique fondamentale (Info 2, INF 431)

  Le cours et les TDs.

• X2000, Calcul formel (Majeure 1)

  Présentation du cours.

Année 2001-2002

• X2001, Introduction à l'informatique (Info 1A, INF 311)

  L'ensemble des sujets de TD est maintenue ailleurs.

• X2000, Informatique fondamentale (Info 2, INF 431)

  TD1 (Phénomène de seuil dans les graphes), TD2 (Tri topologique), TD3 (Calculatrice à pile programmable), TD4 (Calculatrice programmable et petit langage de programmation), TD7 (Graphisme interactif et enveloppe convexe), TDB (File d'attente concurrente), TDD (Arbres binaires de recherche).

• Cours sur le langage C (Info 3A)

  Transparents, TD1et2 (Généralités sur la syntaxe), TD3et4 (Pointeurs et allocation dynamique), TD5et6 (Gestion de fichiers et parcours de graphes).