Computational Creativity Autumn School Lecture 4 Building an Automated Mathematician Simon Colton Computational Creativity Group

Source URL: ccg.doc.gold.ac.uk

• Integer sequences
• Mathematical logic
• Refactorable number
• Theorem
• Conjecture
• Mathematical proof
• Number theory
• Counterexample
• HR
• Mathematics
• Logic
• Science