An assessment and feedback package for Maxima



On Mon, Nov 15, 2010 at 07:18, Chris Sangwin <sangwinc at for.mat.bham.ac.uk>wrote:

> * establish two expressions are "equivalent" in various senses
>

Tell us more... what sorts of equivalence do you have in mind?

            -s