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
Some examples of the use of distances as coordinates for Euclidean geometry
Journal of Symbolic Computation
Mechanical theorem proving in geometries
Mechanical theorem proving in geometries
Advanced object-oriented analysis and design using UML
Advanced object-oriented analysis and design using UML
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
ISAAC '88 Proceedings of the International Symposium ISSAC'88 on Symbolic and Algebraic Computation
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
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
Hi-index | 0.00 |
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.