Computing a Gröbner basis of a polynomial ideal over a Euclidean domain
Journal of Symbolic Computation
Cancellativity in finitely presented semigroups
Journal of Symbolic Computation
A method for enumerating cosets of a group presented by a canonical system
ISSAC '89 Proceedings of the ACM-SIGSAM 1989 international symposium on Symbolic and algebraic computation
About the descriptive power of certain classes of finite string-rewriting systems
Theoretical Computer Science - Second Conference on Rewriting Techniques and Applications, Bordeaux, May 1987
Non-commutative Gröbner bases in algebras of solvable type
Journal of Symbolic Computation
Finite Gröbner bases in non-Noetherian skew polynomial rings
ISSAC '92 Papers from the international symposium on Symbolic and algebraic computation
Groebner Bases for Non-Commutative Polynomial Rings
AAECC-3 Proceedings of the 3rd International Conference on Algebraic Algorithms and Error-Correcting Codes
Gröbner bases for polynomial ideals over commutative regular rings
EUROCAL '87 Proceedings of the European Conference on Computer Algebra
A note on Nielsen reduction and coset enumeration
ISSAC '98 Proceedings of the 1998 international symposium on Symbolic and algebraic computation
Elimination theory for differential difference polynomials
ISSAC '03 Proceedings of the 2003 international symposium on Symbolic and algebraic computation
Computer algebra handbook
Some complexity results for prefix Gröbner bases in free monoid rings
Theoretical Computer Science
Tree polynomials and non-associative Gröbner bases
Journal of Symbolic Computation
An exponential lower bound for prefix Gröbner bases in free monoid rings
STACS'07 Proceedings of the 24th annual conference on Theoretical aspects of computer science
Flat families by strongly stable ideals and a generalization of Gröbner bases
Journal of Symbolic Computation
Some complexity results for prefix Gröbner bases in free monoid rings
FCT'07 Proceedings of the 16th international conference on Fundamentals of Computation Theory
Hi-index | 0.00 |