Towards high-performance symbolic computing: using MuPAD as a problem solving environment1This work was partially supported by the DFG Sonderforschungsbereich 376: Massive Parallelität: Algorithmen, Entwurfsmethoden, Anwendungen.1

This article discusses the approach of developing MuPAD into an open and parallel problem solving environment for mathematical applications. It introduces the key technologies domains and dynamic modules and describes the current state of macroparallelism which covers three fields of parallel programming: message passing, network variables and work groups. First parallel algorithms and examples of using the prototype of the MuPAD problem solving environment are demonstrated.