Author: Association for Computing Machinery. Special Interest Group on Symbolic & Algebraic Manipulation