Simon Colton

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
The TM system for repairing non-theorems	2013-09-25	Paper
scientific article; zbMATH DE number 5909822 (Why is no real title available?)	2011-06-20	Paper
Classification results in quasigroup and loop theory via a combination of automated reasoning tools.	2010-06-15	Paper
Classification results in quasigroup and loop theory via a combination of automated reasoning tools.	2010-06-15	Paper
Automated Deduction – CADE-19 Lecture Notes in Computer Science	2010-04-20	Paper
ILP for mathematical discovery. Lecture Notes in Computer Science	2010-02-23	Paper
Automatic Construction and Verification of Isotopy Invariants Automated Reasoning	2009-03-12	Paper
A Global Workspace Framework for Combining Reasoning Systems Lecture Notes in Computer Science	2009-01-27	Paper
Automatic construction and verification of isotopy invariants Journal of Automated Reasoning	2008-06-11	Paper
Using Formal Concept Analysis in Mathematical Discovery Towards Mechanized Mathematical Assistants	2007-11-28	Paper
Boosting Descriptive ILP for Predictive Learning in Bioinformatics Inductive Logic Programming	2007-11-15	Paper
Automated conjecture making in number theory using HR, Otter and Maple Journal of Symbolic Computation	2007-10-19	Paper
Automated Reasoning Lecture Notes in Computer Science	2007-09-25	Paper
Managing Automatically Formed Mathematical Theories Lecture Notes in Computer Science	2007-09-05	Paper
Mathematical applications of inductive logic programming Machine Learning	2006-10-27	Paper
scientific article; zbMATH DE number 2090307 (Why is no real title available?)	2004-08-12	Paper
scientific article; zbMATH DE number 2090054 (Why is no real title available?)	2004-08-12	Paper
scientific article; zbMATH DE number 2090053 (Why is no real title available?)	2004-08-12	Paper
scientific article; zbMATH DE number 2084734 (Why is no real title available?)	2004-08-09	Paper
On the notion of interestingness in automated mathematical discovery International Journal of Human-Computer Studies	2003-04-03	Paper
scientific article; zbMATH DE number 1264487 (Why is no real title available?)	1999-03-17	Paper
scientific article; zbMATH DE number 1264487 (Why is no real title available?)	1999-03-17	Paper

Research outcomes over time

This page was built for person: Simon Colton