Mathematics is highly structured and underpins most of science and engineering. For this reason it has proved a very suitable test domain for intelligent tutoring system (ITS) research with the result that probably more tutoring systems have been structured for the domain than for any othw. However, there still exists no consensus on any approach for the design of such systems. Consequently, ex...