Automated Mathematical Induction
Editor: HantaoZhang
Kluwer Academic Publishers Group (Netherlands), 1996
Hardback, 236 pages
Size: 234x156 mm
ISBN: 9780792340102
ISBN-10: 0792340108
Automated Mathematical Induction
This text documents advances in the understanding of automated theorem provers that are capable of proofs by mathematical induction. The book provides a tutorial study of the Boyer-Moore theorem prover, and novel ideas that could be used to build theorem provers more powerful than this one.

