论文研究基于区间分析的不等式自动证明 .pdf 上传者：houguof 2019-09-25 16:12:06上传 其他文档文件 451KB 热度 49次 基于区间分析的不等式自动证明，侯晓荣，邵俊伟，本文提出了一种基于区间分析的不等式自动证明方法，这一方法可以处理类型较为一般的不等式，只需对应的函数具有所需的高阶连续可 下载地址 用户评论 更多下载 下载地址 立即下载 用户评论 发表评论
