---
title: "How to Facilitate the Proof of Theorems by Using the Induction-matching, and by Generalization"
authors:
  - "Jacqueline Castaing"
doi: ""
url: "https://ijcai.org/proceedings/1985/244"
pdf: "https://ijcai.org/proceedings/1985/0244.pdf"
venue: "Proceedings of the Ninth International Joint Conference on Artificial Intelligence"
year: 1985
pages: "1208-1212"
track: "Theorem Proving"
keywords:
---

# How to Facilitate the Proof of Theorems by Using the Induction-matching, and by Generalization

Jacqueline Castaing

*Proceedings of the Ninth International Joint Conference on Artificial Intelligence*, pages 1208-1212.

## Abstract

In this paper, we show how we conceive the proof of theorems by sructural induction. Our aim is to facilitate the proof of the theorems which can Iead, in a context of automatic theorem proving, to very lengthy ( or even impossible) proofs. We use a very simple tool, the i-matching or inductionmatching, which allows us, on the one hand to deftne an original procedure of generalization, and on the other hand tu deftne an original way of generating Iemmas .