Understanding Equivalence of Symbolic Expressions in a Spreadsheet-Based Environment. - Michal Tabach; Alex Friedlander (Int. J. Comput. Math. Learn., 2008)