Dagstuhl Seminar Proceedings: Challenges in Symbolic Computation Software 2006