Automated Theory Formation in Pure Mathematicsby Simon ColtonWriting a summary for young readers…For young readersBook data: Open Library