Ein kompakter Sammelband aus dem internationalen Workshop in Warschau, der neue Ansätze zur symbolischen Berechnung für wissenschaftliche Simulationen vorstellt und sowohl theoretische Fortschritte als auch praxisnahe Fallstudien beleuchtet.