Angel Diaz and Erich Kaltofen.
FoxBox: A System for Manipulating Symbolic Objects in Black Box
Representation.
In O. Gloor, editor, ISSAC 98 International Symposium on
Symbolic and Algebraic Computation. ACM Press, New York, 1998.
http://www.math.ncsu.edu/~kaltofen/bibliography/98/DiKa98.ps.gz.
Kurt Siegl.
Parallelizing Algorithms for Symbolic Computation Using
||MAPLE||.
In Fourth ACM SIGPLAN Symposium on Principles and Practice of
Parallel Programming, pages 179-186, San Diego, California, May 19-22,
1993. ACM Press, New York.
ftp://ftp.risc.uni-linz.ac.at/pub/techreports/1993/93-08.ps.gz.
[5]
Quoc-Nam Tran and Franz Winkler.
CASA Reference Manual (Version 2.3).
Technical Report 97-33, Research Institute for Symbolic Computation
(RISC-Linz), Johannes Kepler University, Linz, Austria, October 1997.
ftp://ftp.risc.uni-linz.ac.at/pub/techreports/1997/97-33.ps.gz.
[6]
Dongming Wang.
On the Parallelization of Characteristic-Set-Based Algorithms.
In H.P. Zima, editor, Parallel Computation -- First
International ACPC Conference, volume 591 of Lecture Notes in Computer
Science, pages 338-349, Salzburg, Austria, September 30-October 2, 1991.
Springer, Berlin.