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

【文件属性】：

文件名称：常用基本不等式的机器证明 (2011年)

文件大小：917KB

文件格式：PDF

更新时间：2024-06-06 19:16:32

工程技术 论文

摘要:不等式机器证明问题是智能系统领域的难点和热点问题.借助不等式证明软件BOTIEMA，对若干常用的基本不等式成功地实现了机器证明，包括算术、几何与调和平均不