%0 Journal Article
%T SGARP中符号计算模块的实现及其应用
%A 张传军
%A 邹  宇
%A 郑  焕
%A 饶永生
%A 张景中
%J -
%D 2014
%X 可持续发展的几何自动推理平台(sustainable geo..
%K [可由用户持续发展的几何自动推理平台(SGARP)
%K 几何定理机器证明
%K 符号计算
%K Python语言
%K 质点法
%K Thebault定理
%K sustainable geometry automated reasoning platform (SGARP)
%K automated geometry theorem proving
%K symbolic computation
%K Python language
%K mass point method
%K Thebault's theorem]
%U http://crad.ict.ac.cn/CN/Y2014/V51/I6/1341