Quelques adresses de groupes de recherche sur le calcul formel en
France2 :
- Bordeaux : laboratoire A2X (laboratoire de théorie des nombres et
d'algorithmique arithmétique).
- Grenoble : laboratoire ID, équipe Mosaic du LMC, projet Arenaire
(INRIA). Modélisation de systèmes complexes, systèmes hybrides, étude
locale des équations algébriques et différentielles, algèbre linéaire, arithmétique,
modélisation de l'informatique, parallélisme (cf. Lyon, G. Villard).
- Lille : Equipe de calcul formel du LIFL (laboratoire d'Informatique
Fondamentale de Lille) et laboratoire AGAT. Algèbre différentielle, séries
formelles non commutatives (F. Boulier); équations différentielles et calcul
formel (G. Chen).
- Limoges : laboratoire LACO. Algorithmes rapides pour des polynômes,
équations différentielles ou aux différences, systèmes algébriques, simplification
des expressions algébriques (M. Barkatou).
- Lyon : laboratoire LIP (ENS Lyon) et projet Arenaire (INRIA), cf.
Grenoble.
- Marne-La-Vallée : Le groupe Phalanstère.
- Nancy : équipe SPACES (INRIA Lorraine). Systèmes polynomiaux,
arithmétique, calcul symbolique, calcul numérique, calcul hybride, bases de
Groebner, résolution algébrique, solutions réelles, ensembles triangulaires.
- Palaiseau : laboratoire GAGE et UMS Medicis (Ecole Polytechnique).
Résolution des systèmes algébriques et algébro-différentiels, théorie effective des
singularités, théorie des invariants et théorie de Galois, résolution formelle des
systèmes différentiels (F. Ollivier).
- Paris : thème CALFOR du LIP6 (laboratoire d'informatique de Paris 6).
Systèmes d'équations polynômiales, calcul formel certifié, théorie de Galois
effective, arithmétiques (D. Lazard).
- Rennes : IRMAR (Institut de Recherche Mathématique de Rennes).
Géométrie algébrique réelle, théorie de Galois différenterielle, systèmes
hamiltoniens, complexité, utilisation du calcul formel en modélisation (F.
Ulmer).
- Roquencourt : projet ALGO, CAFE, GALAAD et SPACES. Combinatoire,
analyse d'algorithmes, asymptotique, fonctions spéciales (Bruno Salvy); ;
;.
- Sophia-Antipolis : projets CAFE, GALAAD
et Lemme. Equations différentielles, équations aux différences, automatique
(M. Bronstein); Géométrie, algèbre, algorithmique, calculs symboliques-
numériques (B. Mourrain) ; calcul formel certifié, preuves et formalisation de
théories mathématiques, théorie des types (Loïc Pottier).
- Toulouse : Laboratoires MIP et Emile Picard. Techniques de
resommations et applications, lien calcul formel et numérique : complexité et
conditionnement, algorithmes et recherches de zéros, applcations du calcul
formel à l'ingénierie mathématique (J-C. Yakoubson).
Listes de discussion sur le calcul formel :
