Design and Evaluation of a Case-Based System for Modelling Exploratory Learning Behavior of Math Generalization | Synapse