Title: Symbolic Computation and Automated Reasoning