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
|
Keywords: |
|
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.
|
Download: | POSTSCRIPT COPY
|