A fine-grained parallel completion procedure
ISSAC '94 Proceedings of the international symposium on Symbolic and algebraic computation
A case study of multi-threaded Gröbner basis completion
ISSAC '96 Proceedings of the 1996 international symposium on Symbolic and algebraic computation
Approaches to parallel quantifier elimination
ISSAC '98 Proceedings of the 1998 international symposium on Symbolic and algebraic computation
Computer algebra handbook
Parallel operations of sparse polynomials on multicores: I. multiplication and Poisson bracket
Proceedings of the 4th International Workshop on Parallel and Symbolic Computation
Hi-index | 0.00 |