Title: Issac 2011 Proceedings of the 36th International Symposium on Symbolic and Algebraic Computation
Subjects: Computer science