Automated Mathematical Induction
Latest Publications

TOTAL DOCUMENTS

6

(FIVE YEARS 0)

H-INDEX

1

(FIVE YEARS 0)

Published By Springer Netherlands

9789401072502, 9789400916753

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Middle-Out Reasoning for Synthesis and Induction

Automated Mathematical Induction ◽

10.1007/978-94-009-1675-3_4 ◽

1996 ◽

pp. 113-145

Author(s):

Ina Kraan ◽

David Basin ◽

Alan Bundy

Download Full-text

New Uses of Linear Arithmetic in Automated Theorem Proving by Induction

Automated Mathematical Induction ◽

10.1007/978-94-009-1675-3_2 ◽

1996 ◽

pp. 39-78

Author(s):

Deepak Kapur ◽

M. Subramaniam

Keyword(s):

Theorem Proving ◽

Automated Theorem Proving ◽

Linear Arithmetic

Download Full-text

Productive Use of Failure in Inductive Proof

Automated Mathematical Induction ◽

10.1007/978-94-009-1675-3_3 ◽

1996 ◽

pp. 79-111 ◽

Cited By ~ 4

Author(s):

Andrew Ireland ◽

Alan Bundy

Keyword(s):

Inductive Proof

Download Full-text

Interaction with the Boyer—Moore Theorem Prover: A Tutorial Study Using the Arithmetic—Geometric Mean Theorem

Automated Mathematical Induction ◽

10.1007/978-94-009-1675-3_6 ◽

1996 ◽

pp. 181-222

Author(s):

Matt Kaufmann ◽

Paolo Pecchiari

Keyword(s):

Geometric Mean ◽

Theorem Prover

Download Full-text

A Calculus for and Termination of Rippling

Automated Mathematical Induction ◽

10.1007/978-94-009-1675-3_5 ◽

1996 ◽

pp. 147-180 ◽

Cited By ~ 1

Author(s):

David A. Basin ◽

Toby Walsh

Download Full-text

Induction Using Term Orders

Automated Mathematical Induction ◽

10.1007/978-94-009-1675-3_1 ◽

1996 ◽

pp. 3-37

Author(s):

Francois Bronsard ◽

Uday S. Reddy ◽

Robert W. Hasker

Keyword(s):

Term Orders

Download Full-text