Algebraic Simplification

This publication has 64 references indexed in Scilit:

• New decision algorithms for finitely presented commutative semigroups
  Computers & Mathematics with Applications, 1981
• A simplified proof of the characterization theorem for Gröbner-bases
  ACM SIGSAM Bulletin, 1980
• A criterion for detecting unnecessary reductions in the construction of Gröbner-bases
  Published by Springer Nature ,1979
• The diamond lemma for ring theory
  Advances in Mathematics, 1978
• An existence lemma for canonical forms in symbolic mathematics
  Information Processing Letters, 1971
• On Euclid's Algorithm and the Computation of Polynomial Greatest Common Divisors
  Journal of the ACM, 1971
• Heterogeneous algebras
  Journal of Combinatorial Theory, 1970
• Rational Exponential Expressions and a Conjecture Concerning π and e
  The American Mathematical Monthly, 1969
• Some properties of conversion
  Transactions of the American Mathematical Society, 1936
• On the Structure of Abstract Algebras
  Mathematical Proceedings of the Cambridge Philosophical Society, 1935