1. 首页
  2. 编程语言
  3. 其他
  4. 论文研究基于区间分析的不等式自动证明 .pdf

论文研究基于区间分析的不等式自动证明 .pdf

上传者: 2019-09-25 16:12:06上传 其他文档文件 451KB 热度 31次
基于区间分析的不等式自动证明,侯晓荣,邵俊伟,本文提出了一种基于区间分析的不等式自动证明方法,这一方法可以处理类型较为一般的不等式,只需对应的函数具有所需的高阶连续可
用户评论