History and basic features of the critical-pair/completion procedure
Journal of Symbolic Computation
On the construction of Gröbner bases using syzygies
Journal of Symbolic Computation
An extension of Buchberger's algorithm and calculationsin enveloping fields of lie algebras
Journal of Symbolic Computation
Non-commutative Gröbner bases in algebras of solvable type
Journal of Symbolic Computation
Journal of Symbolic Computation
On the isomorphism problem for finite-dimensional binomial algebras
ISSAC '90 Proceedings of the international symposium on Symbolic and algebraic computation
FELIX—an assistant for alebraists
ISSAC '91 Proceedings of the 1991 international symposium on Symbolic and algebraic computation
Finite Gröbner bases in non-Noetherian skew polynomial rings
ISSAC '92 Papers from the international symposium on Symbolic and algebraic computation
Computing Gröbner bases in monoid and group rings
ISSAC '93 Proceedings of the 1993 international symposium on Symbolic and algebraic computation
Unification in commutative theories, Hilbert's basis theorem, and Gröbner bases
Journal of the ACM (JACM)
Canonical subalgebraic bases in non-commutative polynomial rings
ISSAC '98 Proceedings of the 1998 international symposium on Symbolic and algebraic computation
Commutativity theorems: examples in search of algorithms
ISSAC '99 Proceedings of the 1999 international symposium on Symbolic and algebraic computation
Unification with Sequence Variables and Flexible Arity Symbols and Its Extension with Pattern-Terms
AISC '02/Calculemus '02 Proceedings of the Joint International Conferences on Artificial Intelligence, Automated Reasoning, and Symbolic Computation
Elimination theory for differential difference polynomials
ISSAC '03 Proceedings of the 2003 international symposium on Symbolic and algebraic computation
Computer algebra handbook
Gröbner bases in difference-differential modules
Proceedings of the 2006 international symposium on Symbolic and algebraic computation
Complete involutive rewriting systems
Journal of Symbolic Computation
Journal of Symbolic Computation
Integro-differential polynomials and operators
Proceedings of the twenty-first international symposium on Symbolic and algebraic computation
Letterplace ideals and non-commutative Gröbner bases
Journal of Symbolic Computation
Some complexity results for prefix Gröbner bases in free monoid rings
Theoretical Computer Science
A new symbolic method for solving linear two-point boundary value problems on the level of operators
Journal of Symbolic Computation
Reduction relations for monoid semirings
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
Transforming problems from analysis to algebra: A case study in linear boundary problems
Journal of Symbolic Computation
Skew polynomial rings, Gröbner bases and the letterplace embedding of the free associative algebra
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 |