RA
1996 RA 1998Suivant : Composition de l'équipe
RA
1996 RA 1998
Suivant : Composition de l'équipe
Projet SAFIR
Systèmes Algébriques et Formels pour l'Industrie et la Recherche
Rapport d'activité de 1997
Page de présentation du projet - Rapport d'activité au format PostScript ou PDF
Localisation : Sophia Antipolis
Mots-clés : base de données mathématiques, calcul
formel, différentiation automatique, génération de code,
géométrie effective, lien symbolique-numérique, reconnaissance de
formules, résolution de systèmes polynomiaux, preuve de
programme, équation différentielle