聚类工具

0
帮助 本站公告
您现在所在的位置:网站首页 > 知识中心 > 检索结果
排序:
期刊文章 ∑cos~3的下限及其证明
出处:烟台师范学院学报:自然科学版 1996年第1期 50-53,68,共5页
摘要:研究了∑cos^2A/2的下限问题,否定了“∑cos^3A/2当等腰Rt△时取最小值”的猜想,建立... 显示全部
关键词: 几何不等式 不等式 三角形 欧拉不等式
在线阅读 下载全文
期刊文章 计算机怎样证明几何不等式
出处:广州大学学报:自然科学版 2004年第2期 97-106,179,共11页
摘要:阐述了一个基于胞腔分解的不等式机器证明软件的原理、算法和使用方法,这一用Maple语言编写的程序能有效地... 显示全部
关键词: 自动证明 几何不等式 构造性几何定理 半代数系统 胞腔分解
在线阅读 下载全文
期刊文章 关于Milosevic不等式的再探讨
出处:肇庆学院学报 2003年第2期 10-13,共4页
摘要:针对Milosevic不等式改进和加强的结论,在对其条件进行调整的基础上,用初等的方法,给出了几何不等式∑cos3A... 显示全部
关键词: 不等式 几何不等式 三角形 初等方法 不等式理论
在线阅读 下载全文
找到3条结果
`