Constructing bases of finitely presented Lie algebras using Gröbner bases in free algebras
ISSAC '99 Proceedings of the 1999 international symposium on Symbolic and algebraic computation
Journal of Symbolic Computation
Computing with quantized enveloping algebras: PBW-Type bases, highest-weight modules and R-matrices
Journal of Symbolic Computation
Reduction of permutation-invariant polynomials
Information and Computation
Plural: a computer algebra system for noncommutative polynomial algebras
ISSAC '03 Proceedings of the 2003 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
From monomials to words to graphs
Journal of Combinatorial Theory Series A
Poincaré–Birkhoff–Witt theorem for Leibniz n-algebras
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
ACM Communications in Computer Algebra
Gröbner bases in universal enveloping algebras of Leibniz algebras
Journal of Symbolic Computation
Letterplace ideals and non-commutative Gröbner bases
Journal of Symbolic Computation
A skew polynomial approach to integro-differential operators
Proceedings of the 2009 international symposium on Symbolic and algebraic computation
Some complexity results for prefix Gröbner bases in free monoid rings
Theoretical Computer Science
A Symbolic Framework for Operations on Linear Boundary Problems
CASC '09 Proceedings of the 11th International Workshop on Computer Algebra in Scientific Computing
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
Looking for Gröbner basis theory for (almost) skew 2-nomial algebras
Journal of Symbolic Computation
Convergent Relaxations of Polynomial Optimization Problems with Noncommuting Variables
SIAM Journal on Optimization
Plural, a non-commutative extension of singular: past, present and future
ICMS'06 Proceedings of the Second international conference on Mathematical Software
On the use of gröbner bases for computing the structure of finite abelian groups
CASC'05 Proceedings of the 8th international conference on Computer Algebra in Scientific Computing
Transforming problems from analysis to algebra: A case study in linear boundary problems
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
Computing homology using generalized Gröbner bases
Journal of Symbolic Computation
Proceedings of the 38th international symposium on International symposium on symbolic and algebraic computation
Hi-index | 0.00 |