The problem of automated theorem finding

DOI10.1007/BF00881868zbMath0783.68112WikidataQ114267036 ScholiaQ114267036MaRDI QIDQ1312164

Larry Wos

Publication date: 20 March 1994

Published in: Journal of Automated Reasoning (Search for Journal in Brave)

zbMATH Keywords

unsolved research problemtheorem finding

Mathematics Subject Classification ID

Related Items (1)

A systematic methodology for automated theorem finding

Cites Work

• Automated discovery of new axiomatizations of the left group and right group calculi
• Single axioms for groups and abelian groups with various operations
• Unnamed Item
• Unnamed Item

This page was built for publication: The problem of automated theorem finding