A parallelization of the Buchberger algorithm
ISSAC '90 Proceedings of the international symposium on Symbolic and algebraic computation
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
BOS is boss: a case for bulk-synchronous object systems
Proceedings of the eleventh annual ACM symposium on Parallel algorithms and architectures
The Clause-Diffusion Methodology For Distributed Deduction
Fundamenta Informaticae
Hi-index | 0.00 |