Ability to perform symbolic computations is a crucial component of any mathematics-oriented package. Symbolic mathematics is used to work with complex expres...
P. Cobb, E. Yackel, and T. Wood. The Emergence of Mathermatical Meaning: Interactions in Classroom Cultures, Lawrence Erlbaum Associates, Hillside, NJ, (1995)
G. Delzanno, J. Raskin, and L. Begin. CAV '01: Proceedings of the 13th International Conference on Computer Aided Verification, page 298--310. London, UK, Springer-Verlag, (2001)