@proceedings{DBLP:conf/dagstuhl/2006P6271,
editor = {Wolfram Decker and
Mike Dewar and
Erich Kaltofen and
Stephen M. Watt},
title = {Challenges in Symbolic Computation Software, 02.07. - 07.07.2006},
booktitle = {Challenges in Symbolic Computation Software},
publisher = {Internationales Begegnungs- und Forschungszentrum fuer Informatik
(IBFI), Schloss Dagstuhl, Germany},
series = {Dagstuhl Seminar Proceedings},
volume = {06271},
year = {2006},
ee = {http://drops.dagstuhl.de/portals/06271/},
bibsource = {DBLP, http://dblp.uni-trier.de}
}