HR: A System for Machine Discovery in Finite Algebras
Alan Bundy, Simon Colton, Toby Walsh · Edinburgh Research Explorer (University of Edinburgh) · 1998
Abstract. We describe the HR concept formation program which invents mathematical definitions and conjectures in finite algebras such as group theory and ring theory. We give the methods behind and the reasons for the concept formation in HR, an evaluation of its performance in its training domain, group theory, and a look at HR in domains other than group theory. 1