Special Interest Group on Symbolic and Algebraic Manipulation of the ACM