5. Discussion
Our results show that transcribing existing paper-based mathematics examinations into an electronic format is now feasible for a significant proportion of the questions as currently assessed. The most significant barrier to faithful automation of the current mark scheme is the requirement for evidence of an appropriate method, rather than inferring which method has been used from the student's final answer. In traditional practice students do not indicate their explicit reasons, rather they work line by line. This form of reasoning can be automatically be assessed for a wide variety of questions actually assessed.