Automated Reasoning and the Discovery of Missing and Elegant Proofs [Hardcover]

Larry Wos (Author), Gail W. Pieper (Author)

Product Details

• Hardcover: 384 pages
• Publisher: Rinton Pr Inc; CD-Rom edition (December 2003)
• Language: English
• ISBN-10: 1589490231
• ISBN-13: 978-1589490239
• Product Dimensions: 10.1 x 7 x 1.1 inches
• Shipping Weight: 1.8 pounds
• Average Customer Review: 5.0 out of 5 stars  See all reviews (1 customer review)
• Amazon Best Sellers Rank: #7,604,631 in Books (See Top 100 in Books)

Customer Reviews

Most Helpful Customer Reviews

8 of 9 people found the following review helpful:

5.0 out of 5 stars Automated Reasoning from a Pioneer of the Field, February 14, 2004

By 

Zachary Ernst (Florida State University) - See all my reviews

This review is from: Automated Reasoning and the Discovery of Missing and Elegant Proofs (Hardcover)

In this enthusiastic survey of automated reasoning, Larry Wos -- perhaps the most influential pioneer of the field -- offers a uniquely informative (and entertaining) perspective on some of the major successes in this exciting research area.

Automated reasoning (an outgrowth of automated theorem-proving and artificial intelligence) has gone mainstream and is now contributing a stead stream of new theorems and results to the broader mathematica, scientific, and logical community. The majority of these results have come from Argonne National Laboratory and the research of Larry Wos and his colleague William McCune, the developer of the marvelous reasoning program OTTER, which is featured in this book (and is included in the CD-ROM).

The book contains an overview of the successful methodologies that have led to new results, sketches and vignettes detailing the development of those methodologies, and a large number of open problems that will intrigue computer scientists, logicians, and mathematicians. The aim of the book is not to give detailed abstract theory relating to automated reasoning. Rather, the goal is to show how these new methodologies are being successfully applied to tackle significant open problems. The result is a volume that is accesible both to the new resercher, and yet contains information that will prove valuable even to the expert.

From a historical perspective, Wos's new book offers the reader an insider's perspective on the research ethic of the automated reasoning group at Argonne National Laboratory. The reader comes away from the book with a deep appreciation of how that ethic, combined with Wos's playful curiosity, has spawned significant gains in the field of automated reasoning.