Présentation générale et objectifs

SAFIR est un projet commun à l'INRIA, au CNRS et à l'université de Nice-Sophia Antipolis, via le laboratoire de mathématiques, J.-A. Dieudonné (UMR 6621) et le laboratoire d'informatique, signaux et systèmes, I3S (URA 1376). Le projet a des activités variées, mais qui touchent toutes au calcul formel, au sens large du terme. Il a des aspects algorithmiques, logiciels et appliqués. En continuité avec les années précédentes, les recherches du projet concernent trois facettes du calcul formel :

l'algorithmique en algèbre et en géométrie, où monômes et polynômes jouent un rôle central,
les logiciels : interfaces, communication, déductions et preuves,
l'application au calcul numérique, avec la différentiation automatique de programmes Fortran, la modélisation et la simulation de systèmes physiques.

Manuel Bronstein a été recruté comme directeur de recherche à partir du 1/10/97. Mohamed Elkadi, MDC à l'université de Nice, est en détachement à l'Inria pour un an (à partir de septembre 1997). José Grimm est à un tiers de son temps dans le projet MIAOU. Loïc Pottier est parti le 23/10/97 au projet CROAP continuer son travail sur l'implantation prouvée d'algorithmes en Coq.

Une proposition de création d'un nouveau projet autour de la géométrie effective, la résolution d'équations polynomiales et leurs applications, où participent Ioannis Emiris et Bernard Mourrain, va être présentée bientôt.

Précédent : Composition de l'équipe Remonter : Projet SAFIR, Systèmes Algébriques et Suivant : Fondements scientifiques