可由用户持续发展的几何自动推理平台的推理算法

郑焕张景中

Reasoning algorithm of geometry automatic reasoning platform with sustainable development by user

Huan ZHENG Jing-zhong ZHANG

计算机应用 . 2011, (08): 2101 -2104 . DOI: 10.3724/SP.J.1087.2011.02101