Compare Prices | Create Shopping Lists with Price Drop Alerts | Set Coupons, Promo Codes & Sales Alerts | Get Access to Exclusive Deals and Much More... All in One Place | Read all about it here

Automated Theory Formation in Pure Mathematics

Automated Theory Formation in Pure Mathematics

Brand
Springer Nature
Manufacturer
N/A
Part Number
0
GTIN
9781852336097
Condition
New
Product Description

In recent years, Artificial Intelligence researchers have largely focused their efforts on solving specific problems, with less emphasis on 'the big picture' - automating large scale tasks which require human-level intelligence to undertake. The subject of this book, automated theory formation in mathematics, is such a large scale task. Automated theory formation requires the invention of new concepts, the calculating of examples, the making of conjectures and the proving of theorems. This book, representing four years of PhD work by Dr. Simon Colton demonstrates how theory formation can be automated. Building on over 20 years of research into constructing an automated mathematician carried out in Professor Alan Bundy's mathematical reasoning group in Edinburgh, Dr. Colton has implemented the HR system as a solution to the problem of forming theories by computer. HR uses various pieces of mathematical software, including automated theorem provers, model generators and databases, to build a theory from the bare minimum of information - the axioms of a domain. The main application of this work has been mathematical discovery, and HR has had many successes. In particular, it has invented 20 new types of number of sufficient interest to be accepted into the Encyclopaedia of Integer Sequences, a repository of over 60,000 sequences contributed by many (human) mathematicians.

Available Colors
Available Sizes
1 Offer Price Range: $84.99 - $84.99
BEST PRICE

Single Product Purchase

$84.99
@ Link.springer.com     BUY Now

Price Comparison

Seller Contact Seller List Price On Sale Shipping Best Promo Final Price Volume Discount Financing Availability Seller's Page
BEST PRICE
1 Product Purchase
@ Link.springer.com
Contact Store Call Store Contact Support
$84.99 $84.99

$84.99
See Site In stock Visit Store

Similar Products

Applications of Simulation Methods in Environmental and Resource Economics

$169.99

The New South Africa

$109.99

Edith Wharton's Social Register

$169.99

Developing Advanced English Language Competence

$159.99

Superionic Conductors

$54.99

Water Resources in Algeria - Part II

$379.99

Engineering Seismology and Earthquake Engineering

$54.99

Smart Nanomaterials in Biomedical Applications

$159.99

Hydraulics, Hydrology and Environmental Engineering

$109.99

Cancer Cell Culture

$74.99

Disaster Risk Reduction

$119.00

Stewardship Ethics in Debt Management

$84.99

Dual Jet Geometrization for Time-Dependent Hamiltonians and Applications

$59.99

Dynamics and Geomorphology of Mountain Rivers

$84.99

Abrasax: Ausgewhlte Papyri Religisen und Magischen Inhalts

$64.99

Perspektiven des Strategischen Controllings

$69.99

Zur Geschichte der Pharmazeutisch-Chemischen Destilliergerte

$84.99

Cardiovascular Solid Mechanics

$169.99

Operationsberichte Orthopdie und Unfallchirurgie

$69.99

Die rztliche Leichenschau

$19.99

Becoming Good Muslim

$109.99

Progress in Ergometry: Quality Control and Test Criteria

$109.99

Strategic Innovation

$169.99

Das Autistisch-Undisziplinierte Denken in der Medizin und Seine berwindung

$64.99

Church in an Age of Global Migration

$109.99

Postsecondary Education for First-Generation and Low-Income Students in the Ivy League

$119.99

Geisteswissenschaften

$59.99

European Industrial Restructuring in the 1990s

$109.99

Modeling in Analog Design

$84.99

Aufgaben und Lsungsmethodik Technische Mechanik

$29.99

Kooperation zwischen Unternehmen und Universitten

$74.99

Statistics in Science

$39.99

Fhrung im Widerspruch

$54.99

Guidance and Control Technology of Spacecraft on Elliptical Orbit

$129.99

Moderne Markenfhrung

$64.99

Brain Morphometry

$79.99

Enclosed Experimental Marine Ecosystems: A Review and Recommendations

$84.99

Sensory Branding

$69.99

Marketing Management

$44.99

Photomesic and Photonuclear Processes

$74.99