发表日期:2013年31期 出版:《科技视界 主管单位:上海市科普作家协会 作者:魏秋月,牛学锋 页数:2页(依默认发送格式:PDF计算) PDF编号:PDF9KJSJ2013310160 可选格式:Word、ePUB、PPT(课件用途) 下载次数:37 论文引用次数:2

本文针对质点法生成的目标关系式的过程不简明,缺少明显几何意义的问题,提出了一种具有较高可读性算法的几何定理证明器MMP.首先,直接从消点公式推导目标关系式,该方法不再使用质点坐标而直接对质点进行运算;其次,利用三个模块架构证明器,形成了具有完全性的消点过程;最后,利用待定系数法判定结论语句.由...

公告:百度文库、百度云(百度盘)、Matlab演示破解版下载、Matlab运行实例数据暂未提供。