Mechanical Theorem Proving in Geometry
Abstract
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,
Refbacks
- There are currently no refbacks.