Bookbot

Automated Theory Formation in Pure Mathematics

Book rating

3.0(4)Add rating

Parameters

Pages
400 pages
Reading time
14 hours

More about the book

Automated theory formation in mathematics is explored through the innovative HR system, developed by Dr. Simon Colton. This groundbreaking work automates complex tasks like creating new concepts, generating examples, making conjectures, and proving theorems, building on two decades of research. By utilizing various mathematical software tools, HR effectively constructs theories from minimal information. Notably, it has achieved significant milestones in mathematical discovery, including the invention of 20 new number types recognized in the Encyclopaedia of Integer Sequences.

Publication

Book purchase

Automated Theory Formation in Pure Mathematics, Simon Colton

Language
Released
2012
product-detail.submit-box.info.binding
(Paperback)
We’ll email you as soon as we track it down.

Payment methods

3.0
Okay
4 Ratings

We’re missing your review here.