Convergent presentations and polygraphic resolutions of associative algebras

Resolution of Singularities of an Algebraic Variety Over a Field of Characteristic Zero: I

Heisuke Hironaka · Annals of Mathematics · 1964 · 2.4K citations

Natural Sciences, Enology, Bank Resolution +7

The diamond lemma for ring theory

George M. Bergman · Advances in Mathematics · 1978 · 1.2K citations

Natural Sciences, Mathematics, Algebra +5

Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems

Gérard Huet · Journal of the ACM · 1980 · 1.1K citations · Full text

Language Studies, Information Systems, Computational Linguistics +7

On Theories with a Combinatorial Definition of "Equivalence"

M. H. A. Newman · Annals of Mathematics · 1942 · 637 citations

Natural Sciences, Computer Science, Mathematics +12

Bruno Buchberger’s PhD thesis 1965: An algorithm for finding the basis elements of the residue class ring of a zero dimensional polynomial ideal

Bruno Buchberger · Journal of Symbolic Computation · 2005 · 610 citations

Natural Sciences, Computer Science, Mathematics +12