Abstract
Mechanical theorem proving in geometry plays an important role in the research of automated reasoning. In this paper, we introduce three kinds of computerized methods for geometrical theorem proving: the first is Wu’ s method in the international community, the second is Elimination Point Method.; and the third is lower Dimension Method. DOI: http://dx.doi.org/10.11591/telkomnika.v10i7.1451
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
More From: TELKOMNIKA Indonesian Journal of Electrical Engineering
Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.