ISSAC 2013 Boston, USA, June 26-29, 2013 : proceedings of the 38th International Symposium on International Symposium on Symbolic and Algebraic Computation / - Kauers, Manuel. (ACM,)