Invited Talk 3
in
Workshop: The Role of Mathematical Reasoning in General Artificial Intelligence
The Relevance of Computational Creativity to Mathematical Reasoning Machines
Alison Pease
Abstract: