ISSAC 2006 International Symposium on Symbolic and Algebraic Computations, July 9-12, 2006, Genova, Italy : proceedings - Dumas, Jean-Guillaum (ACM Press, 2006)