首页> 中文期刊> 《计算机应用》 >仿射质点几何的可读机器证明

仿射质点几何的可读机器证明

开具论文收录证明 >>

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

文献代查 >>

团队文献服务 >>

页面导航

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

摘要

讨论并发展了能自动证明几何定理的质点几何方法,建立了能处理希尔伯特交点类命题的仿射几何机器证明算法,并实现为Maple程序.对上百个非平凡命题运行的结果显示,这种方法不仅效率高,多数证明的可读性也令人满意.

著录项

来源
《计算机应用》 |2010年第7期|1899-19011912|共4页
作者
邹宇; 郑焕; 张景中;
展开▼
作者单位

广州大学;

计算机科学与教育软件学院;

广州;

510006;

广州大学;

计算机科学与教育软件学院;

广州;

510006;

广州大学;

计算机科学与教育软件学院;

广州;

510006中;

国科学院;

成都计算机应用研究所;

成都;

610041;

展开▼
原文格式 PDF
正文语种 chi
中图分类自动推理、机器学习 ;
关键词
质点几何; 可读机器证明; 希尔伯特交点类几何命题;

相似文献

中文文献
外文文献
专利

1. 《射影几何》中仿射性质证明错误的纠正 [J] . 邓磊 ,郑言 . 湖南文理学院学报（自然科学版） . 2015 ,第002期
2. 质点几何定理机器证明的研究进展 [J] . 胡晓璐1 ,江建国1 ,张媛1 . 应用数学进展 . 2018 ,第012期
3. 几何定理机器证明复系数质点法的改进及其应用 [J] . 李涛 ,邹宇 ,张景中 . 计算机学报 . 2015 ,第008期
4. 质点几何定理证明的机器实现 [J] . 苏贺靓 ,江建国 ,高华 . 科技视界 . 2015 ,第015期
5. 质点法机器证明视角下的近世几何研究 [J] . 李涛 ,邹宇 . 计算机应用 . 2012 ,第011期
6. 基于复数法的几何定理可读机器证明 [C] . Li Tao ,李涛 ,Zhang Jingzhong . 2013年中国计算机学会人工智能会议 . 2013
7. 基于质点法的构造型仿射几何定理机器证明 [A] . 苏贺靓 . 2015

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

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

客服微信
服务号