“One sugar cube, please” or selection strategies in the Buchberger algorithm
ISSAC '91 Proceedings of the 1991 international symposium on Symbolic and algebraic computation
Multigraded Hilbert functions and Buchberger algorithm
ISSAC '96 Proceedings of the 1996 international symposium on Symbolic and algebraic computation
Memory management in the PoSSo solver
Journal of Symbolic Computation
Term Orderings on the Polynominal Ring
EUROCAL '85 Research Contributions from the European Conference on Computer Algebra-Volume 2
Plural: a computer algebra system for noncommutative polynomial algebras
ISSAC '03 Proceedings of the 2003 international symposium on Symbolic and algebraic computation
PolyBoRi: A framework for Gröbner-basis computations with Boolean polynomials
Journal of Symbolic Computation
Lazy and Forgetful Polynomial Arithmetic and Applications
CASC '09 Proceedings of the 11th International Workshop on Computer Algebra in Scientific Computing
A Gröbner basis approach to CNF-formulae preprocessing
TACAS'07 Proceedings of the 13th international conference on Tools and algorithms for the construction and analysis of systems
Sparse polynomial multiplication and division in Maple 14
ACM Communications in Computer Algebra
Sparse polynomial division using a heap
Journal of Symbolic Computation
Polynomial division using dynamic arrays, heaps, and packed exponent vectors
CASC'07 Proceedings of the 10th international conference on Computer Algebra in Scientific Computing
| Hi-index | 0.00 |