Dongming Wang Symbolic and Algebraic Computation, International Symposium, ISSAC 2007, Waterloo, Ontario, Canada, July 28 - August 1, 2007, Proceedings ISSAC ACM 2007 978-1-59593-743-8 db/conf/issac/issac2007.html