Automatic reasoning system of plane analytic geometry based on forward reasoning
基于前向推理的平面解析几何自动推理系统研究与实现

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.