2003
- La valeur de Shapley et les indices d'intéraction pour les jeux bi-coopératifs
M. Grabisch, Ch. Labreuche
- Bi-capacités
M. Grabisch, Ch. Labreuche
- Arithmétique réelle en précision arbitraire: conception et algorithmes
V. Ménissier-Morain
- Corps de décomposition d'un polynôme réductible
S. Orange, G. Renault, A. Valibouze
- Calcul efficace de corps de décomposition
S. Orange, G. Renault, A. Valibouze
- Généralisation de résultats sur les idéaux de Galois
A. Valibouze
- Formalisation du modèle de sécurité de Bell et La padula
E. Gureghian, Th. Hardin, M. Jaume
- Introduction de mobilité dans les canevas de simulation numérique répartie : une étude formelle
G. Haïk
- Programmer le Calcul Formel, de L'Algorithmique à la Sémantique
R. Rioboo
- Actes de la conférence Calculemus 2003
Th. Hardin, R. Rioboo
- Contrôle dynamique de suites convergentes via l'Arithmétique Stochastique Discrète
F. Jézéquel
- Représentation des procédures et pratiques par les graphes contextuels
P. Brézillon
- Du partage centralisé de ressources Web à l'échange de documents intensionnels
B. Amann
Tous les rapports ont un résumé en français.