聚类工具

0
帮助 本站公告
您现在所在的位置:网站首页 > 知识中心 > 检索结果
排序:
期刊文章 立体几何定理的计算机证明
出处:湖北民族学院学报:自然科学版 2002年第3期 20-22,共3页
摘要:在欧氏几何和向量空间中,结合二者的关系,把几何问题转换为代数问题,利用MATLAB的相关知识,编写源代码文件,... 显示全部
关键词: 立体几何定理 计算机证明 向量空间 机器证明 三垂线定理
在线阅读 下载全文
期刊文章 常用基本不等式的机器证明
出处:智能系统学报 2011年第5期 377-390,共14页
摘要:不等式机器证明问题是智能系统领域的难点和热点问题.借助不等式证明软件BOTTEMA,对若于常用的基本不等式... 显示全部
关键词: 基本不等式 机器证明 不等式证明软件 模型
在线阅读 下载全文
期刊文章 一种基于事例推理的检索模型
出处:中山大学学报:自然科学版 1999年第2期 1-5,共5页
摘要:以计算逻辑为理论基础设计了1种对象检索模型以解决定理机器证明中的“同理可证”问题,该模型采用基于事... 显示全部
关键词: 定理 机器证明 计算逻辑 基于事例推理 检索模型
在线阅读 下载全文
期刊文章 不等式机器证明的降维算法与通用程序
出处:高技术通讯 1998年第7期 20-25,共6页
摘要:提出了降维算法,它能有效地处理带参数的根式,将维数控制在最小限度。据此编成的通用程序已在PC机上验... 显示全部
关键词: 降维算法 结式 临界曲面 判别曲面 机器证明
在线阅读 下载全文
找到4条结果
`