Design and Evaluation of a Case-Based System for Modelling Exploratory Learning Behavior of Math Generalization | IEEE Journals & Magazine | IEEE Xplore