常用基本不等式的机器证明 (2011年)

【文件属性】：
文件名称：常用基本不等式的机器证明 (2011年)
文件大小：917KB
文件格式：PDF
更新时间：2021-05-18 01:29:52
工程技术 论文 摘要:不等式机器证明问题是智能系统领域的难点和热点问题.借助不等式证明软件BOTIEMA，对若干常用的基本不等式成功地实现了机器证明，包括算术、几何与调和平均不