Single Axioms: With and Without Computers

TitleSingle Axioms: With and Without Computers
Publication TypeReport
Year of Publication2001
AuthorsMcCune, W
Date Published08/2001
Other NumbersANL/MCS-P901-0801

This note is an (incomplete) summary of results on single equational axioms for algebraic theories. Pioneering results were obtained d3ecades ago (without the use of computers) by logicians such as Tarski, Higman, Neumann, and Padmanabhan. Use of today\'s high-speed computers and sophisticated software for searching for proofs and counterexamples has led to many additional results.