Design of an intelligent system for the automatic demonstration of geometry theorems

Authors:
Anca Iordan;Manuela PăIoan Baciu;Corina Daniela Cunţan
Affiliations:
Technical University of Timişoara, Engineering Faculty of Hunedoara, Hunedoara, Romania;Technical University of Timişoara, Engineering Faculty of Hunedoara, Hunedoara, Romania;Technical University of Timişoara, Engineering Faculty of Hunedoara, Hunedoara, Romania;Technical University of Timişoara, Engineering Faculty of Hunedoara, Hunedoara, Romania
Venue:
TELE-INFO'10 Proceedings of the 9th WSEAS international conference on Telecommunications and informatics
Year:
2010

Citing 14
Cited 0

Geometry theorem proving by decomposition of quasi-algebraic sets: an application of the Ritt-Wu principle

Artificial Intelligence - Special issue on geometric reasoning
Refutational proofs of geometry theorems via characteristic set computation

ISSAC '90 Proceedings of the international symposium on Symbolic and algebraic computation
Transcendental functions and mechanical theorem proving in elementary geometries

Journal of Automated Reasoning
Mechanical theorem proving in geometries

Mechanical theorem proving in geometries
UML distilled (2nd ed.): a brief guide to the standard object modeling language

UML distilled (2nd ed.): a brief guide to the standard object modeling language
A Deductive Database Approach to Automated Geometry Theorem Proving and Discovering

Journal of Automated Reasoning
Probabilistic algorithms for verification of polynomial identities (invited)

EUROSAM '79 Proceedings of the International Symposiumon on Symbolic and Algebraic Computation
Multimedia interactive environment for study the plane analytical geometry

WSEAS Transactions on Computers
Development of a dynamical software for doing geometrical constructions

AIC'08 Proceedings of the 8th conference on Applied informatics and communications
Visual interactive environment for doing geometrical constructions

WSEAS Transactions on Computers
Development of a dynamical software for teaching plane analytical geometry

EE'08 Proceedings of the 5th WSEAS/IASME international conference on Engineering education
The geometry tutor

IJCAI'85 Proceedings of the 9th international joint conference on Artificial intelligence - Volume 1
Realization of an interactive informatical system for the quadric surfaces study

ICCOMP'09 Proceedings of the WSEAES 13th international conference on Computers
Development of interactive software for teaching three-dimensional analytic geometry

DIWEB'09 Proceedings of the 9th WSEAS international conference on Distance learning and web engineering

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.