论文研究-基于区间分析的不等式自动证明 .pdf 时间:2022-09-09 17:53:16 【文件属性】: 文件名称:论文研究-基于区间分析的不等式自动证明 .pdf 文件大小:451KB 文件格式:PDF 更新时间:2022-09-09 17:53:16 区间分析 基于区间分析的不等式自动证明,侯晓荣,邵俊伟,本文提出了一种基于区间分析的不等式自动证明方法,这一方法可以处理类型较为一般的不等式,只需对应的函数具有所需的高阶连续可 立即下载