Abi-Nader, J. New Ways to Enhance the Classroom Using Symbolic Computation: Automated Assessment, Modeling and Simulation, and More. R&E-SOURCE 2014, 1.