Have you seen this?...The Computer Algebra Based Learning and Evaluation (CABLE) system

Computer algebra systems (CAS) are well-established research tools for performing symbolic manipulation of mathematical expressions such as algebra and calculus. Since 2000 they have also been used as part of computer aided assessment systems to help mark students’ work. For example AiM used the Maple CAS and CalMath which uses Mathematica.