Simon Colton

• Automated Theory Formation in Pure Mathematics
• Automated Theory Formation in Pure Mathematics
• Creative Intelligent Systems
• Digital Synaptic Neural Substrate