Année 2012-2013

Le groupe de travail au premier trimestre a lieu soit le lundi matin de 10h à 12h (si il n'y a pas conflit avec le séminaire de théorie de Galois différentielle), soit le lundi après-midi de 13h30 à 15h.

Le séminaire de théorie de Galois Différentielle, lui, a lieu à 10h30, salle Kampé de Fériet, M2.

17 septembre 10h (M3 ext. 226)

Calcul rapide de développements de Puiseux (1/2), Adrien Poteaux

Au programme : définitions, prolongement analytique, algorithme de Newton-Puiseux et complexité

24 septembre 13h30 (M3 ext. 101)

Calcul rapide de développements de Puiseux (2/2), Adrien Poteaux

La suite, avec un lemme de Hensel détendu, analyse de complexité, et une ébauche de stratégie modulaire numérique.

1er octobre 13h30 (M3 ext. 226)

Algorithmes pour le calcul des bases de Gröbner, Charles Bouillaguet

8 octobre 13h30 (M3 ext. 226)

Ensembles triangulaires algébriques, François Lemaire
Le matin, séminaire de TdGD : Questions autour des Equations de Heun, Michel Petitot

15 octobre 10h (M3 ext. 226)

Réduction de Ritt et méthodes à la F4, François Boulier

22 octobre

10h, M2, salle Kempé de Feriet : exposé d'Ainhoa Aparicio-Monforte (séminaire TGD)
13h30 : réunion de travail autour d'un papier de Francois Fages et al. (?)

29 octobre

PAS D'EXPOSE (interruption pédagogique)

5 novembre 13h30 (M3 ext. 226)

Pas d'exposé ! (parce que problème administratif)

12 novembre 9h30 (M3 ext. 226)

Pas d'exposé de l'équipe! (parce que séminaire à Dagstuhl)
10h, M2, salle Kempé de Feriet : exposé d'Anne Duval (séminaire TGD)

19 novembre 10h30 (M3 ext. 226)

Debriefing après le séminaire à Dagstuhl.

26 novembre 10h00 (M3 ext. 226)

Présentation d'un nouvel algorithme de Dima Grigoriev et Andreas Weber pour les "fewnomials", François Boulier.
Réunion d'équipe.

10 décembre 10h00 (M3 ext. 226)

Retour sur les Fewnomials, C. Bouillaguet

17 décembre 10h00 (M3 ext. 226)

Isolation de racines sur GPU, par A. Temperville

Sujets d'exposés proposés lors de diverses discussions

  • Introduction aux systèmes hamiltoniens, par A. Aparicio-Monforte
  • Symétries/dilatations de systèmes algébriques, par Alexandre
  • Equa. Diff. linéaires (singularités), par Anonymous Coward
  • (Initiation à la) Théorie de Galois Différentielle, par Ainhoa
  • EDP linéaires - Sturmfels, par Rosane et Michel
  • Introduction à la modélisation stochastique, par Michel
  • Méthodes itératives pour les calculs exacts avec des matrices creuses, par Charles
  • Crible quadratique (factorisation des grands entiers), par Charles
  • Low Power Theorem, par François B.
  • Techniques de base pour améliorer les complexités, par Adrien
  • Algorithme F4, et algèbre linéaire efficace pour les GB, par Charles
  • Algorithme F5 de Faugère pour le calcul des bases de Gröbner, et EDP polynomiales, par Charles et François B.
  • Algorithmes FGLM (par Charles) et dFGLM (par François B.) pour le changement d'ordre
  • Introduction à SAGE (utilisation & programmation) par Charles
  • Calcul de conditions initiales de DAE, point de vue numérique, par François B.