TY - GEN
T1 - HR: A System for Machine Discovery in Finite Algebras
AU - Bundy, Alan
AU - Colton, S.
AU - Walsh, T.
PY - 1998
Y1 - 1998
N2 - 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.
AB - 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.
M3 - Conference contribution
BT - 13th biennial European Conference on Artificial Intelligence Workshop 1998
ER -