“One sugar cube, please” or selection strategies in the Buchberger algorithm
ISSAC '91 Proceedings of the 1991 international symposium on Symbolic and algebraic computation
Risa/Asir—a computer algebra system
ISSAC '92 Papers from the international symposium on Symbolic and algebraic computation
A generalization of the binary GCD algorithm
ISSAC '93 Proceedings of the 1993 international symposium on Symbolic and algebraic computation
Journal of Algorithms
The accelerated integer GCD algorithm
ACM Transactions on Mathematical Software (TOMS)
A case study of multi-threaded Gröbner basis completion
ISSAC '96 Proceedings of the 1996 international symposium on Symbolic and algebraic computation
Strategy-accurate parallel Buchberger algorithms
Journal of Symbolic Computation - Special issue on parallel symbolic computation
Localization and primary decomposition of polynomial ideals
Journal of Symbolic Computation
The art of computer programming, volume 2 (3rd ed.): seminumerical algorithms
The art of computer programming, volume 2 (3rd ed.): seminumerical algorithms
ISAAC '88 Proceedings of the International Symposium ISSAC'88 on Symbolic and Algebraic Computation
An efficient implementation for computing gröbner bases over algebraic number fields
ICMS'06 Proceedings of the Second international conference on Mathematical Software
| Hi-index | 0.00 |