Basic features and development of the critical-pair/completion procedure
Proc. of the first international conference on Rewriting techniques and applications
On an installation of Buchberger's algorithm
Journal of Symbolic Computation
A heuristic selection strategy for lexicographic Gröner bases?
ISSAC '91 Proceedings of the 1991 international symposium on Symbolic and algebraic computation
“One sugar cube, please” or selection strategies in the Buchberger algorithm
ISSAC '91 Proceedings of the 1991 international symposium on Symbolic and algebraic computation
Gro¨bner bases: a computational approach to commutative algebra
Gro¨bner bases: a computational approach to commutative algebra
Implementing an irregular application on a distributed memory multiprocessor
PPOPP '93 Proceedings of the fourth ACM SIGPLAN symposium on Principles and practice of parallel programming
A fine-grained parallel completion procedure
ISSAC '94 Proceedings of the international symposium on Symbolic and algebraic computation
Parallel computation of Gro¨bner bases on distributed memory machines
Journal of Symbolic Computation
PARSAC-2: A Parallel SAC-2 Based on Threads
AAECC-8 Proceedings of the 8th International Symposium on Applied Algebra, Algebraic Algorithms and Error-Correcting Codes
Distributed Symbolic Computation with DTS
IRREGULAR '95 Proceedings of the Second International Workshop on Parallel Algorithms for Irregularly Structured Problems
The computation of Gröbner bases on a shared memory multiprocessor
DISCO '90 Proceedings of the International Symposium on Design and Implementation of Symbolic Computation Systems
The Parallel L-Machine for Symbolic Computation
EUROCAL '85 Research Contributions from the European Conference on Computer Algebra-Volume 2
The S-Threads Environment for Parallel Symbolic Computation
Proceedings of the Second International Workshop on Computer Algebra and Parallelism
Experiences with non-numeric applications on multithreaded architectures
PPOPP '97 Proceedings of the sixth ACM SIGPLAN symposium on Principles and practice of parallel programming
Computation of replicable functions on Risa/Asir
PASCO '97 Proceedings of the second international symposium on Parallel symbolic computation
A proposal for syntactic data integration math protocols
PASCO '97 Proceedings of the second international symposium on Parallel symbolic computation
CABAL: polynomial and power series algebra on a parallel computer
PASCO '97 Proceedings of the second international symposium on Parallel symbolic computation
Approaches to parallel quantifier elimination
ISSAC '98 Proceedings of the 1998 international symposium on Symbolic and algebraic computation
Scalable parallel coset enumeration using bulk definition
Proceedings of the 2001 international symposium on Symbolic and algebraic computation
Parallelization of an Algorithm for Computation of Involutive Janet Bases
Programming and Computing Software
Scalable parallel coset enumeration: bulk definition and the memory wall
Journal of Symbolic Computation - Computer algebra: Selected papers from ISSAC 2001
Computer algebra handbook
Parallel computation of Janet and Gröbner bases over rational numbers
Programming and Computing Software
Efficiency estimate for distributed computation of Gröbner bases and involutive bases
Programming and Computing Software
ICCS '07 Proceedings of the 7th international conference on Computational Science, Part II
Proceedings of the 4th workshop on Declarative aspects of multicore programming
Orchestrating computational algebra components into a high-performance parallel system
International Journal of High Performance Computing and Networking
SymGrid: a framework for symbolic computation on the grid
Euro-Par'07 Proceedings of the 13th international Euro-Par conference on Parallel Processing
| Hi-index | 0.00 |