How to Facilitate the Proof of Theorems by Using the Induction-matching, and by Generalization
Proceedings of the Ninth International Joint Conference on Artificial Intelligence. Theorem Proving. 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 .
Jacqueline Castaing. 1985. How to Facilitate the Proof of Theorems by Using the Induction-matching, and by Generalization. In Proceedings of the Ninth International Joint Conference on Artificial Intelligence, IJCAI-85. IJCAI, 1208–1212. https://ijcai.org/proceedings/1985/244
Castaing, J. (1985). How to Facilitate the Proof of Theorems by Using the Induction-matching, and by Generalization. In Proceedings of the Ninth International Joint Conference on Artificial Intelligence, IJCAI-85 (pp. 1208–1212). IJCAI. https://ijcai.org/proceedings/1985/244
@inproceedings{ijcai1985p244,
title = {How to Facilitate the Proof of Theorems by Using the Induction-matching, and by Generalization},
author = {Castaing, Jacqueline},
booktitle = {Proceedings of the Ninth International Joint Conference on
Artificial Intelligence, {IJCAI-85}},
publisher = {International Joint Conferences on Artificial Intelligence},
editor = {Aravind Joshi},
pages = {1208--1212},
year = {1985},
note = {Theorem Proving},
url = {https://ijcai.org/proceedings/1985/244},
}
TY - CPAPER TI - How to Facilitate the Proof of Theorems by Using the Induction-matching, and by Generalization AU - Castaing, Jacqueline T2 - Proceedings of the Ninth International Joint Conference on Artificial Intelligence, IJCAI-85 PB - International Joint Conferences on Artificial Intelligence PY - 1985 SP - 1208 EP - 1212 UR - https://ijcai.org/proceedings/1985/244 ER -Copied
Machine-readable versions of this paper, for tools and AI agents:
