The University of Edinburgh -
Division of Informatics
Forrest Hill & 80 South Bridge

Research Paper #920

Title:HR - A System for Machine Discovery in Finite Algebras
Authors:Bundy,A; Colton,SG; Walsh,T
Date:Jul 1998
Presented:Accepted for the Machine Discovery Workshop at ECAI98
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 look at HR in domains other than group theory.

[Search These Pages] [DAI Home Page] [Comment]