Calcul formel : l'embarras du choix

Paul Zimmermann 1
1 EURECA - Proof, Symbolic Computation and Logic
CRIN - Centre de Recherche en Informatique de Nancy, UHP - Université Henri Poincaré - Nancy 1
Résumé : no abstract
Type de document :
Article dans une revue
Gazette des Mathématiciens, Société Mathématique de France, 1997, 73, pp.39--43
Liste complète des métadonnées
https://hal.inria.fr/hal-00917751
Contributeur : Paul Zimmermann <>
Soumis le : jeudi 12 décembre 2013 - 12:42:49
Dernière modification le : jeudi 11 janvier 2018 - 06:23:25

Identifiants

  • HAL Id : hal-00917751, version 1

Collections

UNIV-LORRAINE

Citation

Paul Zimmermann. Calcul formel : l'embarras du choix. Gazette des Mathématiciens, Société Mathématique de France, 1997, 73, pp.39--43. 〈hal-00917751〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

71

Contact


archive-ouverte@inria.fr