previous up next
Go backward to 5 Implementation
Go up to Top
Go forward to A The Scheduler Protocol
RISC-Linz logo


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.
Leslie Lamport. The Temporal Logic of Actions. ACM Transactions on Programming Languages and Systems, 16(3):872-923, May 1994.
MapleSoft. Maple V Release 5, April 1998.
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.
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.
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.

Maintainer: Wolfgang Schreiner
Last Modification: July 6, 2001

previous up next