Article Per Year (5 Year)
p-Index From 2021 - 2026
0
P-Index
This Author published in this journals
All Journal Indonesian Journal of Electrical Engineering and Computer Science
Gao Jun-yu
Cangzhou Normal University

Published : 1 Documents Claim Missing Document
Claim Missing Document
Check
Articles

Found 1 Documents
Search
Journal : Indonesian Journal of Electrical Engineering and Computer Science

 1 
Mechanical Theorem Proving in Geometry Gao Jun-yu; Zhang Cheng-dong
Indonesian Journal of Electrical Engineering and Computer Science Vol 10, No 7: November 2012
Publisher : Institute of Advanced Engineering and Science

Show Abstract | Download Original | Original Source | Check in Google Scholar

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 
Co-Authors Zhang Cheng-dong