Wolfram Decker Mike Dewar Erich Kaltofen Stephen M. Watt Challenges in Symbolic Computation Software Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 06271 2006 db/conf/dagstuhl/P6271.html Dagstuhl Seminar Proceedings