RA
1995 RA 1997Suivant : Composition de l'équipe
RA
1995 RA 1997
Suivant : Composition de l'équipe
Systèmes Algébriques et Formels pour l'Industrie et la Recherche
Rapport d'activité 1996
Page de présentation du projet - Rapport d'activité au format PostScript
Localisation : Sophia Antipolis
Mots-clés : algèbre linéaire, analyse de document, anneau local, arithmétique exacte, arithmétique modulaire probabiliste, base de données déductives, base de formules, bézoutien, calcul formel, certification du résultat, communication, complexité, dualité, éditeur de formules, électronique, élimination, FFT, génération de code, grammaire de graphe, Hankel, implémentation d'algorithmes géométriques, interface homme-machine, Lisp, matrice structurée, modélisation, optique, perturbation symbolique infinitésimale, polynôme multivariable, précision limitée, protocole, reconnaissance de caractères, réécriture de graphe, résolution de systèmes polynomiaux, résidu, résultant, simulation, système inverse, Toeplitz, valeur singulière