- Wolfgang Schreiner:
A Para-Functional Programming Interface for a Parallel Computer Algebra Package. J. Symb. Comput. 21(4): 593-614 (1996) - Nigel P. Smart:
Solving Discriminant Form Equations Via Unit Equations. J. Symb. Comput. 21(3): 367-374 (1996) - Angela C. Sodan:
A Semi-Automatic Multiple-Strategy Approach To Mapping Tree-Structured Symbolic Processing Programs. J. Symb. Comput. 21(4): 615-634 (1996) - Mark Sofroniou:
Order Stars and Linear Stability Theory. J. Symb. Comput. 21(1): 101-131 (1996) - Paul S. Wang:
Parallel Polynomial Operations on SMPs: an Overview. J. Symb. Comput. 21(4): 397-410 (1996) - Kenneth Weber:
Parallel Implementation of the Accelerated Integer GCD Algorithm. J. Symb. Comput. 21(4): 457-466 (1996) - Hantao Zhang, Maria Paola Bonacina, Jieh Hsiang:
PSATO: a Distributed Propositional Prover and its Application to Quasigroup Problems. J. Symb. Comput. 21(4): 543-560 (1996)