首页> 中文期刊> 《中国科学院院刊》 >几何定理机器证明研究展望

几何定理机器证明研究展望

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

团队文献服务 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

几何定理的机器证明在自动推理的研究中占有重要的地位.今后10到20年间,几何定理机器证明的传统化,几何作图问题的机器求解,几何不等式的机器证明和自动生成,微分几何的机器证明,将有显著的进展.几何问题机器求解的研究成果,会在实际应用中发挥更大的作用.

著录项

来源
《中国科学院院刊》 |1997年第2期|88-91|共4页
作者
张景中;
展开▼
作者单位

成都计算机应用研究所;

成都;

610041;

展开▼
原文格式 PDF
正文语种 chi
中图分类数学 ;
关键词
几何定理 ; 机器证明 ; 研究;

相似文献

中文文献
外文文献
专利

1. 定理的机器证明开创了机械化数学的纪元——《几何定理机器证明的基本原理》评介 [J] . 那丽丽 . 中国出版 . 1988 ,第012期
2. 质点几何定理机器证明的研究进展 [J] . 胡晓璐1 ,江建国1 ,张媛1 . 应用数学进展 . 2018 ,第012期
3. 几何定理机器证明复系数质点法的改进及其应用 [J] . 李涛 ,邹宇 ,张景中 . 计算机学报 . 2015 ,第008期
4. 质点几何定理证明的机器实现 [J] . 苏贺靓 ,江建国 ,高华 . 科技视界 . 2015 ,第015期
5. 几何定理的机器证明 [J] . . 新高考（高二数学） . 2014 ,第012期
6. 基于复数法的几何定理可读机器证明 [C] . Li Tao ,李涛 ,Zhang Jingzhong . 2013年中国计算机学会人工智能会议 . 2013
7. 几何定理机器证明系统的开发与研究 [A] . 尤枫 . 2003

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号