Design of Teacher Assistance Tools in an Exploratory Learning Environment for Algebraic Generalization | IEEE Journals & Magazine | IEEE Xplore