Analysis of mathematical notations must consider both syntactical aspects of symbols and the underpinning mathematical concept(s) conveyed. We argue that the construct of "syntax template" provides a theoretical framework to analyse undergraduate mathematics students' written solutions, where we have identified several types of…

Intelligent tutoring systems (ITS) aim to improve upon previous computer-aided instruction programs by embedding much of the expert knowledge that good human teachers possess. While ITS research has a practical goal of developing programs that assist students in learning, there is little data on their instructional effectiveness. This paper…