Simon Colton

Available identifiers

Publication	Date of Publication	Type
The TM system for repairing non-theorems	2013-09-25	Paper
https://portal.mardi4nfdi.de/entity/Q3006508	2011-06-20	Paper
Classification results in quasigroup and loop theory via a combination of automated reasoning tools.	2010-06-15	Paper
Automated Deduction – CADE-19	2010-04-20	Paper
ILP for mathematical discovery.	2010-02-23	Paper
Automatic Construction and Verification of Isotopy Invariants	2009-03-12	Paper
A Global Workspace Framework for Combining Reasoning Systems	2009-01-27	Paper
Automatic construction and verification of isotopy invariants	2008-06-11	Paper
Using Formal Concept Analysis in Mathematical Discovery	2007-11-28	Paper
Boosting Descriptive ILP for Predictive Learning in Bioinformatics	2007-11-15	Paper
Automated conjecture making in number theory using HR, Otter and Maple	2007-10-19	Paper
Automated Reasoning	2007-09-25	Paper
Managing Automatically Formed Mathematical Theories	2007-09-05	Paper
Mathematical applications of inductive logic programming	2006-10-27	Paper
https://portal.mardi4nfdi.de/entity/Q4809066	2004-08-12	Paper
https://portal.mardi4nfdi.de/entity/Q4808725	2004-08-12	Paper
https://portal.mardi4nfdi.de/entity/Q4808724	2004-08-12	Paper
https://portal.mardi4nfdi.de/entity/Q4475664	2004-08-09	Paper
On the notion of interestingness in automated mathematical discovery	2003-04-03	Paper
https://portal.mardi4nfdi.de/entity/Q4233444	1999-03-17	Paper

This page was built for person: Simon Colton