It is the cache of ${baseHref}. It is a snapshot of the page. The current page could have changed in the meantime.
Tip: To quickly find your search term on this page, press Ctrl+F or ⌘-F (Mac) and use the find bar.

Mechanical Theorem Proving in Geometry | Jun-yu | TELKOMNIKA Indonesian Journal of Electrical Engineering

Mechanical Theorem Proving in Geometry

Gao Jun-yu, Zhang Cheng-dong

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.

References


Wu Wen-jun. Elementary geometry truss proof and mechanization [J]. Chinese science, 1997, (6), (in chinese).

Wu Wen-jun. Geometric theorem machine the basic principle of proof [M]. Beijing: science press, 1984, (in chinese).

Zhang Jing-zhong. Away on collocation method [J]. Mathematics teacher, 1995, (1), (in chinese).

Zhang Jing-zhong.The computer how to work out geometric problem [M]. Beijing: tsinghua university press, 2000, (in chinese).

Zhang Jing-zhong, Gao Xiao-shan, Zhou Xian-qing. Based on the geometry information before extrapolation search system [J]. Journal of computer, 1996, 38 (10), (in chinese).

Yang Lu. Inequality proof dimension reduction algorithm of the machine and the general program [J]. High technology communication, 1998 (7), (in chinese).

B. Liu and Y.K. Liu, Expected value of fuzzy variable and fuzzy expected value models, IEEE Transactions on Fuzzy Systems Vol.10, No.4 ,2002.

J.A.Bondy and U.S.R.Murty. Graph Theory With Applications[M].New York: Elsevier Science Publishing Co.Inc,1976.

B.Korte and Vvgen. Combinatorial Optimization Theory and Algorithms[M]. Berlin:Springer,2000.

Hua Mao, Sanyang Liu, Some Properties of the Closure Operator of a Pi-space, Kyungpook Mathematical Journal, 2011,51(3).

Sandip Chanda Abhinandan De .Congestion Relief of Contingent Power Network with Evolutionery Optimisation Algorithm, TELKOMNIKA Indonesian Journal of Electrical Engeering ,Vol.10 No.1 March 2012,

Hadi Arabshahi,Static Characterization of InAs/AlGaAs Broadband Self-Assembled Quantum Dot Lasers, TELKOMNIKA Indonesian Journal of Electrical Engeering, Vol.10 No.1 March 2012,


Full Text: PDF
Download Citation: RIS (for Reference Manager, ProCite, EndNote, Mendeley ) | Bibtex  

Refbacks

  • There are currently no refbacks.