A Mechanization Method of Geometry I. Elementary Geometry
Wu Wen-tsun
Chinese Quarterly Journal of Mathematics . 1986, (1): 1 -14 . 

Copyright © Chinese Quarterly Journal of Mathematics, All Rights Reserved.
Tel: 0371-23881698　E-mail: sxjk@henu.edu.cn　QQ: 2454327236
Powered by Beijing Magtech Co., Ltd.