On the Design and Use of a Cognitive Tutoring System in the Math Classroom | IEEE Conference Publication | IEEE Xplore