Reasoning algorithm of geometry automatic reasoning platform with sustainable development by user
Huan ZHENG Jing-zhong ZHANG
Journal of Computer Applications . 2011, (08): 2101 -2104 .  DOI: 10.3724/SP.J.1087.2011.02101