首页> 中文期刊> 《四川大学学报：自然科学版》 >几何不等式的自动发现与机器证明

几何不等式的自动发现与机器证明

开具论文收录证明 >>

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

文献代查 >>

页面导航

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

摘要

提出了一套求解系统ＴＳＧ的完整理论和高效的算法，据此实现的通用软件ＥＸ－ＰＬＯＲＥＲ已成功地自动发现了许多几何不等式．

著录项

来源
《四川大学学报：自然科学版》 |1998年第5期|669-672|共4页
作者
夏壁灿;
展开▼
作者单位

展开▼
原文格式 PDF
正文语种 chi
中图分类代数方程论、线性代数;
关键词
几何不等式; EXPLORER; 代数方程组; 机器证明;

相似文献

中文文献
外文文献
专利

1. 一类构造性几何不等式的机器证明 [J] . 杨路 ,夏时洪 . 计算机学报 . 2003,第007期
2. 一类三角形几何不等式的自动证明 [J] . 陈世平 ,刘忠 . 计算机应用研究 . 2012,第005期
3. 基于证明分析的机器发现系统的实现与应用 [J] . 刘发贵 . 华南理工大学学报（自然科学版） . 1999,第006期
4. 基于证明分析的机器发现技术及其应用 [J] . 刘发贵 . 华南理工大学学报（自然科学版） . 1998,第005期
5. 用统一的代换证明两个著名的几何不等式 [J] . 曹嘉兴 . 中学数学教学 . 2017,第003期
6. 从定理机器证明到自动推理 [C] . 刘叙华 . 中国第四届知识工程研讨会 . 1991
7. 基于数值计算的几何不等式自动生成和证明系统 [A] . 贺玲琳 . 2005

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

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

客服微信
服务号