The following information was submitted:
Transactions: WSEAS TRANSACTIONS ON COMPUTERS
Transactions ID Number: 88-114
Full Name: Anca Iordan
Position: Assistant
Age: ON
Sex: Female
Address: Revoluþiei 5, 331128, Hunedoara
Country: ROMANIA
Tel:
Tel prefix:
Fax:
E-mail address: anca.iordan@fih.upt.ro
Other E-mails:
Title of the Paper: Modelling using UML diagrams of an Intelligent System for the Automatic Demonstration of Geometry Theorems
Authors as they appear in the Paper: Anca Iordan, Manuela Panoiu, Ioan Baciu, Corina Daniela Cuntan
Email addresses of all the authors: anca.iordan@fih.upt.ro
Number of paper pages: 11
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.
Keywords: Intelligent Software, Geometry, Java, Prolog, Automatic Demonstration Theorems
EXTENSION of the file: .pdf
Special (Invited) Session: Design of an Intelligent System for the Automatic Demonstration of Geometry Theorems
Organizer of the Session: 645-449
How Did you learn about congress:
IP ADDRESS: 193.226.9.35
