Automated Discovery in Pure Mathematics
Automated Discovery in Pure Mathematics Simon Colton Universities of Edinburgh and York.