Skip to Main content Skip to Navigation
Journal articles

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
Document type :
Journal articles
Complete list of metadata
https://hal.inria.fr/hal-00917751
Contributor : Paul Zimmermann Connect in order to contact the contributor
Submitted on : Thursday, December 12, 2013 - 12:42:49 PM
Last modification on : Friday, February 26, 2021 - 3:26:01 PM

Identifiers

  • HAL Id : hal-00917751, version 1

Collections

UNIV-LORRAINE | CNRS

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⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Les métriques sont temporairement indisponibles

 

Contact                    Legal Notice                    Personal Data