Skip to Main content Skip to Navigation
Journal articles

Wester's test suite in MuPAD 1.2.2

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 metadatas

https://hal.inria.fr/hal-00917746
Contributor : Paul Zimmermann <>
Submitted on : Thursday, December 12, 2013 - 12:42:44 PM
Last modification on : Friday, October 16, 2020 - 4:02:04 PM

Identifiers

  • HAL Id : hal-00917746, version 1

Collections

Citation

Paul Zimmermann. Wester's test suite in MuPAD 1.2.2. Computer Algebra Nederland Nieuwsbrief, Computer Algebra Nederland, 1995, pp.53--64. ⟨hal-00917746⟩

Share

Metrics

Record views

91