Automated Theory Formation in Pure Mathematics

Name: Automated Theory Formation in Pure Mathematics
Availability: InStock
ISBN: 9781852336097

ISBN-10: 1852336099

ISBN-13: 9781852336097

Edition: 2002

Authors: Simon Colton

List price: $199.00

30 day, 100% satisfaction guarantee!

Rent eBooks

30 day rental: $29.70 Expiration date: 6/1/2024

60 day rental: $39.60 Expiration date: 7/1/2024

90 day rental: $49.50 Expiration date: 7/31/2024

120 day rental: $59.40 Expiration date: 8/30/2024

180 day rental: $64.35 Expiration date: 10/29/2024

Marketplace

1 new & used from $109.99

what's this?

Rush Rewards U
Members Receive:

You have reached 400 XP and carrot coins. That is the daily max!

Description:

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.

Book details

List price: $199.00
Copyright year: 2002
Publisher: Springer London, Limited
Publication date: 8/9/2002
Binding: Hardcover
Pages: 380
Size: 6.25" wide x 9.00" long x 1.00" tall
Weight: 1.584
Language: English



Preface


Acknowledgements



Introduction



Literature Survey



Mathematical Theories



Design Considerations



Background Knowledge



Inventing Concepts



Making Conjectures



Settling Conjectures



Assessing Concepts



Assessing Conjectures



An Evaluation of HR's Theories



The Application of HR to Discovery Tasks



Related Work



Further Work



Conclusions



User Manual for HR1.11


App. B: Example Sessions



Number Theory Results


Glossary


Bibliography


Index