Automatic reasoning system of plane analytic geometry based on forward reasoning

• 基于前向推理的平面解析几何自动推理系统研究与实现