%0 Journal Article
%T Automatic reasoning system of plane analytic geometry based on forward reasoning<br>基于前向推理的平面解析几何自动推理系统研究与实现
%A LI Tao
%A ZHANG Bo
%A LI Chuan-zhong
%A <br>李涛
%A 张波
%A 李传中
%J 计算机应用
%D 2006
%I 
%X Using traditional forward reasoning strategy, combined algebra reasoning method and geometry reasoning method, an automatic reasoning system of plane analytic geometry was carried out perfectly. Its core was solving the equations. Experiments show that this system can resolve the most problems in elementary plane analytic geometry automatically.
%K automated reasoning
%K plane analytic geometry
%K forward reasoning
%K resolving equation
%K predicate<br>自动推理
%K 平面解析几何
%K 前向推理
%K 解方程
%K 谓词
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=831E194C147C78FAAFCC50BC7ADD1732&aid=63F019F3859A843D&yid=37904DC365DD7266&vid=96C778EE049EE47D&iid=DF92D298D3FF1E6E&sid=6FA25BADCDFACCA5&eid=959B2AB984B945BD&journal_id=1001-9081&journal_name=计算机应用&referenced_num=5&reference_num=8