Design of an intelligent system for the automatic demonstration of geometry theorems
Anca Iordan, Manuela P abreve, Ioan Baciu, Corina Daniela Cuntan · International Conference on Telecommunications · 2010
In this work will be presented the design of an intelligent system destined for development process of demonstrating abilities for geometry theorems. This system will make available to user a proof assistant which will allow interactive vizualization of several demonstrations for the same theorem, demonstrations that have been generated by using three specific methods for automatic demonstration of theorems: area method, full-angle method and inferences accomplishment. For the implementation of the component used to represent knowledge and proof mechanisms will be used Prolog language and for the achievement of geometric construction associated to the theorem will be used Java language.