J. Rafael Sendra Laureano González-Vega Symbolic and Algebraic Computation, International Symposium, ISSAC 2008, Linz/Hagenberg, Austria, July 20-23, 2008, Proceedings ISSAC ACM 2008 978-1-59593-904-3 db/conf/issac/issac2008.html