Description and Execution of Patterns for Symbolic Computations

The principal benefit introduced by distributed systems is the ability to use the computation power and processing capabilities of multiple processing nodes in order to solve problems infeasible on a single machine. For symbolic computing these advantages are particularly useful. In order to create a successful distributed system to support symbolic computations is important to have a deep understanding of the way the computer algebra specialists interact with a symbolic computing system. In this paper we investigate general processing capabilities of symbolic computing systems related to control flow and we emphasize several execution patterns. The impact that workflow management functionalities have over general execution patterns in symbolic computing are also investigated.