Simon ColtonBooksCreative Intelligent SystemsAutomated Theory Formation in Pure MathematicsAutomated Theory Formation in Pure MathematicsDigital Synaptic Neural SubstrateAuthor data: Open Library