Many important mathematical and applied mathematical problems can be formulated as
quantifier elimination problems (QE) in elementary algebra and geometry. Among several …

We describe the design and use of Distributed Maple, an environment for executing parallel
computer algebra programs on multiprocessors and heterogeneous clusters. The system …

We investigate sources of parallelism in the Grobner Basis algorithm for their practical use
on the desk-top. Our execution environment is a standard multi-processor workstation, and …

This paper introduces the design of SymGrid, a new Grid framework that will, for the first
time, allow multiple invocations of symbolic computing applications to interact via the Grid …

We describe the distributed object-oriented threads system (DOTS), a programming
environment designed to support object-oriented fork/join parallel programming in a …

Symbolic computation has underpinned a number of key advances in Mathematics and
Computer Science. Applications are typically large and potentially highly parallel, making …

We present a parallel Knuth-Bendix completion algorithm where the inner loop, deriving the
consequences of adding a new rule to the system, is multi-threaded. The selection of the …

This paper presents a programming environment, based on threads of control, that is
suitable for parallel symbolic computation on shared memory multiprocessors. The S …

We describe the design and implementation of the Distributed Threads System (DTS), a
programming environment for the parallelization of irregular and highly data-dependent …

This paper considers Java as an implementation language for a starting part of a computer
algebra library. It describes a design of basic arithmetic and multivariate polynomial …