1. Carette, J.: A canonical form for some piecewise defined functions. In: Proc. ISSAC 2007, pp. 77–84. ACM Press, New York (2007)
2. Fateman, R.: Manipulation of matrices symbolically (2003),
http://http.cs.berkeley.edu/~fateman/papers/symmat2.pdf
3. Kauers, M., Schneider, C.: Application of unspecified sequences in symbolic summation. In: Proceedings of ISSAC 2006, pp. 177–183 (2006)
4. Sexton, A.P., Sorge, V.: Abstract matrices in symbolic computation. In: Proceedings of ISSAC 2006, pp. 318–325. ACM Press, New York (2006)
5. Sexton, A.P., Sorge, V., Watt, S.M.: Abstract matrix arithmetic. In: International Symposium on Symbolic and Algebraic Computation (ISSAC 2008) (2008) (submitted)