几何定理机器证明系统的开发与研究
该文围绕数学机械化的吴方法展开了对初等几何机械化证明的探讨和研究,主要内容包括: (1)以Maple和Matlab系统为支撑开发了运用该方法证明定理的软件系统. (2)对大量的定理进行了实验性证明. (3)对采用该方法进行证明时存在的问题进行了研究.
吴方法;几何定理;机器证明;特征列
北京化工大学
硕士
计算机应用技术
朱望规
2003
中文
O187
47
2004-04-08(万方平台首次上网日期,不代表论文的发表时间)
吴方法;几何定理;机器证明;特征列
北京化工大学
硕士
计算机应用技术
朱望规
2003
中文
O187
47
2004-04-08(万方平台首次上网日期,不代表论文的发表时间)