Rippling: Meta-Level Guidance for Mathematical Reasoning

Rippling: Meta-Level Guidance for Mathematical Reasoning

by Alan Bundy, David Basin, Dieter Hutter, Andrew Ireland
     
 

ISBN-10: 052183449X

ISBN-13: 9780521834490

Pub. Date: 05/31/2005

Publisher: Cambridge University Press

The automation of mathematical reasoning has been an important topic of research almost since computers were invented. The new technique of rippling, described here for the first time in book form, is designed to be an approach to mathematical reasoning that takes into account ideas of heuristics and searching. Rippling addresses the problem of combinatorial explosion

Overview

The automation of mathematical reasoning has been an important topic of research almost since computers were invented. The new technique of rippling, described here for the first time in book form, is designed to be an approach to mathematical reasoning that takes into account ideas of heuristics and searching. Rippling addresses the problem of combinatorial explosion which has proved a huge obstacle in the past, and the book offers a systematic and comprehensive introduction to this and to the wider subject of automated inductive theorem proving.

Product Details

ISBN-13:
9780521834490
Publisher:
Cambridge University Press
Publication date:
05/31/2005
Series:
Cambridge Tracts in Theoretical Computer Science Series, #56
Pages:
216
Product dimensions:
5.98(w) x 8.98(h) x 0.75(d)

Table of Contents

Preface; 1. An introduction to rippling; 2. Varieties of rippling; 3. Productive use of failure; 4. A formal account of rippling; 5. The scope and limitations of rippling; 6. From rippling to a general methodology; 7. Conclusions; Appendix 1. An annotated calculus and a unification algorithm; Appendix 2. Definitions of functions used in this book; Bibliography; Index.

Customer Reviews

Average Review:

Write a Review

and post it to your social network

     

Most Helpful Customer Reviews

See all customer reviews >