Gröbner bases and primary decomposition of polynomial ideals
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
Some questions concerning computer-generated proofs of a binomial double-sum identity
Journal of Symbolic Computation
Groebner Bases for Non-Commutative Polynomial Rings
AAECC-3 Proceedings of the 3rd International Conference on Algebraic Algorithms and Error-Correcting Codes
Implicitization of Rational Parametric Curves and Surfaces
AAECC-8 Proceedings of the 8th International Symposium on Applied Algebra, Algebraic Algorithms and Error-Correcting Codes
Plural: a computer algebra system for noncommutative polynomial algebras
ISSAC '03 Proceedings of the 2003 international symposium on Symbolic and algebraic computation
Computer algebra handbook
Hi-index | 0.01 |