Knihobot

Automated Theory Formation in Pure Mathematics

Hodnotenie knihy

3,0(4)Ohodnotiť

Parametre

Počet strán
400 stránok
Čas čítania
14 hodin

Viac o knihe

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.

Vydanie

Nákup knihy

Automated Theory Formation in Pure Mathematics, Simon Colton

Jazyk
Rok vydania
2012
product-detail.submit-box.info.binding
(mäkká)
Akonáhle sa objaví, pošleme e-mail.

Doručenie

  •  

Platobné metódy

3,0
Dobrá
4 Hodnotenie

Tu nám chýba tvoja recenzia