Recommended product

Popular links

Popular links


Rippling: Meta-Level Guidance for Mathematical Reasoning

Rippling: Meta-Level Guidance for Mathematical Reasoning

Rippling: Meta-Level Guidance for Mathematical Reasoning

Alan Bundy , University of Edinburgh
David Basin , ETH Zentrum, Switzerland
Dieter Hutter , German Research Centre for Artificial Intelligence
Andrew Ireland , Heriot-Watt University, Edinburgh
August 2005
Available
Hardback
9780521834490

Looking for an examination copy?

This title is not currently available for examination. However, if you are interested in the title for your course we can consider offering an examination copy. To register your interest please contact collegesales@cambridge.org providing details of the course you are teaching.

$140.00
USD
Hardback
USD
eBook

    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.

    • Describes a brand new approach to automated reasoning
    • Can be used with profit by students or software engineers working in software correctness and automated theorem proving
    • First book on the subject

    Product details

    August 2005
    Hardback
    9780521834490
    216 pages
    237 × 158 × 19 mm
    0.475kg
    1 b/w illus. 10 colour illus.
    Available

    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.
    Resources for
    Type
    Visit the authors' website
      Authors
    • Alan Bundy , University of Edinburgh
    • David Basin , ETH Zentrum, Switzerland
    • Dieter Hutter , German Research Centre for Artificial Intelligence
    • Andrew Ireland , Heriot-Watt University, Edinburgh