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

Documents Authored by: Simon Colton

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

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