359861
9781852336097
The doctoral thesis upon which Simon Colton's book is based addressed the automation of the whole mathematical theory formation process. His method depends on the HR program which implements a new model for theory formation.Colton, Simon is the author of 'Automated Theory Formation in Pure Mathematics' with ISBN 9781852336097 and ISBN 1852336099.
[read more]