Algebraic Simplification
- 1 January 1982
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 57 references indexed in Scilit:
- New decision algorithms for finitely presented commutative semigroupsComputers & Mathematics with Applications, 1981
- A simplified proof of the characterization theorem for Gröbner-basesACM SIGSAM Bulletin, 1980
- A criterion for detecting unnecessary reductions in the construction of Gröbner-basesLecture Notes in Computer Science, 1979
- The diamond lemma for ring theoryAdvances in Mathematics, 1978
- On Euclid's Algorithm and the Computation of Polynomial Greatest Common DivisorsJournal of the ACM, 1971
- Ein algorithmisches Kriterium für die Lösbarkeit eines algebraischen GleichungssystemsAequationes mathematicae, 1970
- On Canonical Forms and SimplificationJournal of the ACM, 1970
- Heterogeneous algebrasJournal of Combinatorial Theory, 1970
- Rational Exponential Expressions and a Conjecture Concerning π and eThe American Mathematical Monthly, 1969
- On the Structure of Abstract AlgebrasMathematical Proceedings of the Cambridge Philosophical Society, 1935