The problems that MuPAD 1.3 still cannot solve are
problems 21 and 22
(assume/is not powerful enough),
problem 27 (no rewrite rules),
problem 38 (simplification ,
done by the kernel),
problems 65 and 66 (no tensor package),
problem 89 (definite integral),
problem 94 (Taylor series),
problem 98 (power series).
You can get MuPAD by anonymous ftp from ftp.uni-paderborn.de (main site) or
in France from ftp.inria.fr.
Acknowledgement.
Many thanks to Michael Wester for his very detailed comments on a first version of this paper.
Boolean Logic
Wester's test suite in MuPAD 1.3
References