| 一类构造性几何定理并行数值检验证明机 |
| |
| 引用本文： | 杨路,张景中,李传中.一类构造性几何定理并行数值检验证明机[J].广州大学学报(自然科学版),2002,1(3):29-34. |
| |
| 作者姓名： | 杨路 张景中 李传中 |
| |
| 作者单位： | 广州大学计算机教育软件所,广东,广州,510405 |
| |
| 基金项目： | 国家重点基础研究发展规划(943计划)(G1998030602)NKBRSF-(G1998030602) |
| |
| 摘 要： | 为实现构造性几何定理机器证明的数值并行法，作者提供了一个证明机，它适用于由所谓“直线程序”构造的语句。
|
| 关 键 词： | 构造性几何定量 并行数值检验证明机 机器证明 数值并行法 直线程序 构造语句 |
| 文章编号： | 1671-4229(2002)03-0029-06 |
| 修稿时间： | 2002年4月2日 |
A Prover for Parallel Numerical Verification to a Class of Constructive Geometric Theorems |
| |
| YANG Lu,ZHANG Jing-zhong,LI Chuan-zhong.A Prover for Parallel Numerical Verification to a Class of Constructive Geometric Theorems[J].Journal og Guangzhou University:Natural Science Edition,2002,1(3):29-34. |
| |
| Authors: | YANG Lu ZHANG Jing-zhong LI Chuan-zhong |
| |
| Abstract: | To implement the parallel numerical method for automated theorem proving in constructive geometry, a prover is presented here,which is applicable to a statement constructed by a so_called straight_line program. |
| |
| Keywords: | automated theorem proving parallel numerical method straight-line program |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
