Description

Book Synopsis

Induction Using Term Orders.- New Uses of Linear Arithmetic in Automated Theorem Proving by Induction.- Productive Use of Failure in Inductive Proof.- Middle-Out Reasoning for Synthesis and Induction.- A Calculus for and Termination of Rippling.- Interaction with the BoyerMoore Theorem Prover: A Tutorial Study Using the ArithmeticGeometric Mean Theorem.

Table of Contents

Preface. Induction Using Term Orders; F. Bronsard, et al. New Uses of Linear Arithmetic in Automated Theorem Proving by Induction; D. Kapur, M. Subramaniam. Productive Use of Failure in Inductive Proof; A. Ireland, A. Bundy. Middle-Out Reasoning for Synthesis and Induction; I. Kraan, et al. A Calculus for and Termination of Rippling; D.A. Basin, T. Walsh. Interaction with the Boyer-Moore Theorem Prover. A Tutorial Study Using the Arithmetic-Geometric Mean Theorem; M. Kaufmann, P. Pecchiari.

Automated Mathematical Induction

    Product form

    A Hardback by Hantao Zhang

    £999.99

    Includes FREE delivery

    Out of stock

      Trusted by thousands of customers. See 2,385+ Customer Reviews

      View other formats and editions of Automated Mathematical Induction by Hantao Zhang

      Book details

      Publisher Springer Nature
      Published 31 May 1996
      ISBN-13 9780792340102
      978-0792340102
      ISBN-10 0792340108
      Also in:
      Artificial intelligence (AI) Mathematical foundations Mathematical logic

      Description

      Book Synopsis

      Induction Using Term Orders.- New Uses of Linear Arithmetic in Automated Theorem Proving by Induction.- Productive Use of Failure in Inductive Proof.- Middle-Out Reasoning for Synthesis and Induction.- A Calculus for and Termination of Rippling.- Interaction with the BoyerMoore Theorem Prover: A Tutorial Study Using the ArithmeticGeometric Mean Theorem.

      Table of Contents

      Preface. Induction Using Term Orders; F. Bronsard, et al. New Uses of Linear Arithmetic in Automated Theorem Proving by Induction; D. Kapur, M. Subramaniam. Productive Use of Failure in Inductive Proof; A. Ireland, A. Bundy. Middle-Out Reasoning for Synthesis and Induction; I. Kraan, et al. A Calculus for and Termination of Rippling; D.A. Basin, T. Walsh. Interaction with the Boyer-Moore Theorem Prover. A Tutorial Study Using the Arithmetic-Geometric Mean Theorem; M. Kaufmann, P. Pecchiari.

      Recently viewed products

      © 2026 Book Curl

        • American Express
        • Apple Pay
        • Diners Club
        • Discover
        • Google Pay
        • Maestro
        • Mastercard
        • PayPal
        • Shop Pay
        • Union Pay
        • Visa

        Login

        Forgot your password?

        Don't have an account yet?
        Create account