New features in MuPAD 1.2.2

P. 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
MathPAD, Paderborn University, 1995, 5 (1), pp.27--38
Liste complète des métadonnées

https://hal.inria.fr/hal-00917749
Contributeur : Paul Zimmermann <>
Soumis le : jeudi 12 décembre 2013 - 12:42:47
Dernière modification le : jeudi 11 janvier 2018 - 06:23:25

Identifiants

  • HAL Id : hal-00917749, version 1

Collections

Citation

P. Zimmermann. New features in MuPAD 1.2.2. MathPAD, Paderborn University, 1995, 5 (1), pp.27--38. 〈hal-00917749〉

Partager

Métriques

Consultations de la notice

41