Calcul Formel et Algèbre Constructive

Session parallèle
Calcul Formel et Algèbre Constructive
Premier Colloque Franco-Tunisien de Mathématiques
16-20 mars 2009, Djerba, Tunisie
Organisé conjointement par :
La Société Mathématique de Tunisie (SMT)
La Société Mathématique de France (SMF)
Organisateurs
• Ihsen Yengui, Université de Sfax, Tunisie
Email: [email protected]
• Annick Valibouze, Université Pierre et Marie Curie, Paris VI, France
Email: [email protected]
Page Web : http://www-calfor.lip6.fr/~avb/
Inscription
Fiche d’inscription à télécharger du site :
http://www.tms.rnu.tn/fr/index_fr.php et à envoyer avant le 31 janvier
2009.
Présentation
Les conférences porteront sur des techniques relevant de l’algèbre
constructive, du calcul formel, du calcul scientifique et des récentes
avancées du calcul symbolique/numérique ainsi que sur les systèmes
polynomiaux dynamiques appliqués à des données biologiques réelles.
Cette session a pour objectif de développer une collaboration entre des
spécialistes de la théorie de l'élimination, des corps de Galois et des
spécialistes des données biologiques.
Programme scientifique
Ø Exposés longs (50 mn)
• Marc Giusti
(LIX, Ecole Polytechnique, France)
Résolution géométrique
• Henri Lombardi
(Département de Maths, Université de Franche-Comté, Besançon,
France)
Dimension de Krull, point de vue constructif et applications
Ø Exposés courts (25 mn)
• Philippe Trébuchet
(LIP6, Paris VI, France)
Calculs Numériques/Symboliques
• Gema Diaz-Toca
(Université de Murcia, Espagne)
Algèbre de décomposition universelle sur un anneau (commutatif)
• Moulay Barkatou
(Université de Limoges, France)
Calcul Formel et algèbre différentielle
• Alia Ben Kahla & Slimane Ben Miled
(Institut Pasteur de Tunis, Tunisie)
Systèmes de régulation de gènes
Séance doctorants (15 mn)
• Sami Barhoumi
(Université de Sfax & Université de Franche-Comté)
Seminormalité et sous-résultants
• Afef Ellouz
(Université de Sfax & Université de Franche-Comté)
Le théorème d'induction de Lequain-Simis
Séance projets franco-tunisiens (1 heure)