Automatic Concept Formation in Pure Mathematics.

Simon Colton, Alan Bundy, Toby Walsh

Browse the full IJCAI paper archive.