The following pages link to Simon Colton (Q928663):
Displaying 20 items.
- Automatic construction and verification of isotopy invariants (Q928664) (← links)
- Mathematical applications of inductive logic programming (Q2433178) (← links)
- Automated conjecture making in number theory using HR, Otter and Maple (Q2456561) (← links)
- (Q2848060) (← links)
- (Q3006508) (← links)
- (Q3568690) (← links)
- Automatic Construction and Verification of Isotopy Invariants (Q3613399) (← links)
- (Q4233444) (← links)
- (Q4475664) (← links)
- On the notion of interestingness in automated mathematical discovery (Q4800421) (← links)
- (Q4808724) (← links)
- (Q4808725) (← links)
- (Q4809066) (← links)
- Automated Reasoning (Q5307076) (← links)
- Boosting Descriptive ILP for Predictive Learning in Bioinformatics (Q5426053) (← links)
- Using Formal Concept Analysis in Mathematical Discovery (Q5428271) (← links)
- A Global Workspace Framework for Combining Reasoning Systems (Q5505505) (← links)
- Managing Automatically Formed Mathematical Theories (Q5756766) (← links)
- Inductive Logic Programming (Q5897178) (← links)
- Automated Deduction – CADE-19 (Q5900724) (← links)
