Sciweavers

IJMMS
2000
76views more  IJMMS 2000»
13 years 11 months ago
On the notion of interestingness in automated mathematical discovery
We survey five mathematical discovery programs by looking in detail at the discovery processes they illustrate and the success they've had. We focus on how they estimate the ...
Simon Colton, Alan Bundy, Toby Walsh