previous up next contents                                RA 1994     RA 1996
Suivant : Table des matières

Projet SAFIR

Systèmes algébriques formels pour l'industrie et la recherche

Rapport d'activité 1995

Page WWW du projet

Localisation : Sophia-Antipolis

Mots clefs : algèbre, algorithme, calcul formel, calcul symbolique, différentiation automatique, géométrie, géométrie algébrique, simulation, modélisation