Articoli correlati a Automated Mathematical Induction

Automated Mathematical Induction - Rilegato

 
9780792340102: Automated Mathematical Induction
Rilegato
ISBN 10: 0792340108 ISBN 13: 9780792340102
Casa editrice: Kluwer Academic Publishers, 1996

Sinossi

In the 1970s, Boyer and Moore built one of the first automated theorem provers that was capable of proofs by mathematical induction. Today, the Boyer-Moore theorem prover remains the most successful in the field. For a long time, the research on automated mathematical induction was confined to very few people. In recent years, as more people realize the importance of automated inductive reasoning to the use of formal methods of software and hardware development, more automated inductive proof systems have been built. In 1992, the interested researchers in the field formed two consortia on automated inductive reasoning - the MInd consortium in Europe and the IndUS consortium in the United States. The two consortia organized three joint workshops in 1992-1995. There will be another one in 1996. This text documents advances in the understanding of the field and in the power of the theorem provers that can be built. In the first of six papers, the reader is provided with a tutorial study of the Boyer-Moore theorem prover. The other five papers present novel ideas that could be used to build theorem provers more powerful than the Boyer-Moore prover.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Contenuti

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.

Product Description

Book by None

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

Editore
Kluwer Academic Publishers
Data di pubblicazione
1996
Lingua
Inglese
ISBN 10 
0792340108
ISBN 13 
9780792340102
Rilegatura
Copertina rigida
Numero edizione
1
Numero di pagine
228
Redattore
Hantao Zhang
Contatto del produttore
non disponibile
Persona responsabile
CMN Printpool Inh. Mathis Neumann
https://www.also.com/ec/cms5/en_6000/6000/index.jsp

Friedrich-Karl-Str. 9
Hamburg
Germania