The problem of automated theorem finding

Automated Reasoning: Introduction and Applications

Telematics and Informatics · 1986 · 370 citations

Reasoning, Engineering, Reasoning System +6

Larry Wos. Automated reasoning: 33 basic research problems. Prentice Hall, Englewood Cliffs, N.J., 1988, xiii + 319 pp.

Journal of Symbolic Logic · 1988 · 187 citations

Reasoning, Larry Wos, Cognitive Science +10

Single axioms for groups and Abelian groups with various operations

William W. McCune · Journal of Automated Reasoning · 1993 · 43 citations

Abstract Algebra, Single Axioms, Group Theory (Counseling Psychology) +3

Automated discovery of new axiomatizations of the left group and right group calculi

WilliamW. Mccune · Journal of Automated Reasoning · 1992 · 30 citations

Algebraic Logic, Abstract Algebra, Engineering +9