Please note that only papers and publications recorded in this departments database are shown here. An author may have many other papers and publications produced while working elsewhere which are not listed here. This page does not therefore represent a definitive list of this authors work. | ||
Research Paper | ||
RP944 | 1999 Research Paper | Colton,SG; Bundy,A |
---|---|---|
Automatic Concept Formation in Pure Mathematics | ||
RP920 | 1998 Research Paper | Bundy,A; Colton,SG; Walsh,T |
HR - A System for Machine Discovery in Finite Algebras | ||
RP866 | 1997 Research Paper | Colton,SG; Cresswell,SN; Bundy,A |
The Use of Classification in Automated Mathematical Concept Formation | ||
RP943 | 1999 | Colton,SG |
Refactorable Numbers - A Machine Invention |