Year 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)
26 novembre 10h00 (M3 ext. 226)
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.