Author: International Symposium on Symbolic and Algebraic Computation (34th 2009 Seoul, Korea)