Séminaire de
Calcul formel et Complexité


Année 2002-2003


Responsable: Marie-Françoise Roy

Le Séminaire a lieu les vendredis, de 10:30 à 12:00,
Salle 004, rez-de chaussée du bâtiment 22, Campus de Beaulieu.



 
 
 

 
Septembre
Vendredi 3 septembre :
Hervé Perdry (post doc RAAG à Santander)
Elimination des quantificateurs dans les corps
valués algébriquement clos


Octobre
Vendredi 4 octobre : 
Markus Schweighofer (post-doc RAAG à l'IRMAR) : Optimization of polynomials on compact basic closed semi-algebraic sets.

Vendredi 11 Octobre :
Soutenance de thèse d'Emmanuel Briand  : Fonctions multisymétriques.

Vendredi  18 octobre  :
Ilia Ponomarenko :  Isomorphism problem in algebraic combinatorics

Mercredi 23 octobre, 10h30, séance exceptionnelle :
Warou Harouna (Université de Niamey) : Certificat de positivité pour un polynôme sur un hypercube.
 
 

Novembre

Vendredi 8 Novembre : 
Frédéric Chyzack (INRIA Rocquencourt): Sommation et intégration symboliques des fonctions spéciales de la combinatoire.

Vendredi 15 Novembre : 
Mikhail Foursov (IRISA)Intégrabilité des EDP homogènes et polynômes symétriques.

Vendredi 22 Novembre:
Thomas Cluzeau (LACO, Limoges): Factorisation des systèmes différentiels en caractéristique p et applications.
 
 

 
Décembre
 
Vendredi 6 décembre :
Gregor Kemper (Technische Universitaet Muenchen) : An introduction to computational invariant theory.

Vendredi 13 décembre : 
Philippe Gaillard (IRMAR) : Equations différentielles d'ordre 4.

Vendredi 20 décembre:
Thierry Zell : Nombres de Betti d'une famille de courbes pfaffiennes.

 
Janvier
 
 
Vendredi 17 janvier (14h00)
Pierre Cartier (ENS) : Une nouvelle approche de la théorie de Galois différentielle avec applications aux fonctions spéciales.

Vendredi 31 janvier
Martin Sombra : Hauteur des solutions d'un systeme polynomial

 
 
Février
 
 
Vendredi 7 février
Gérard Duchamp (Rouen) Trois contributions de l'informatique aux mathématiques et à la physique.

Vendredi 14 février
Anatol Slissenko : Problèmes d'algèbre algorithmique dans la vérification.

Vendredi 21 février
Gabriel Dos Reis (INRIA) : Utilisation des groupes de lacets pour calculer des solutions d'EDP.
 
 

Mars
 
 
Vendredi 7 mars
Dmitrii Pasechnik (Moscou) (invité un mois à l'IRMAR) : On complexity of optimization on semialgebraic sets.
 
 
Avril
 
 
Vendredi 4 avril
S. Vakulenko : Structures complexes définies par solutions de systèmes dynamiques dissipatifs [avec applications à la biologie].
 
 
Mai
 
 
Vendredi 16 mai
C. Martig (INSA/St Cyr Coetquidan)
Autour de l'écriture d'une série rationnelle à plusieurs variables sous forme du quotient de deux polynômes.


Juin-Juillet

du 30 juin au 5 juillet
Ecole Summer school on compute tools for real algebraic geometry
http://spaces.lip6.fr/~rouillie/Projets/RAAG/School/

 

 

 


 



 




Mise à jour le 9 octobre 2003