数学论文 | 力学论文 | 化学论文 | 信息科学论文 | 物理学论文 | 农学论文 | 林学论文 | 药学论文 | 天文学论文 | 生物学论文 | 水产学论文 | 核科学论文 | 中医中药学论文
管理学论文 | 经济学论文 | 教育学论文 | 地球科学论文 | 畜牧兽医论文 | 基础医学论文 | 临床医学论文 | 医学卫生论文 | 工程学科论文 | 测绘科学论文 | 军事特种医学论文
材料学论文 | 矿山工程论文 | 化学工程论文 | 纺织科学论文 | 食品科学论文 | 体育科学论文 | 水利工程论文 | 环境科学论文 | 安全科学论文 | 能源科学论文 | 机械工程论文
电子通信自动控制论文 | 计算机科学论文 | 冶金工程技术论文 | 动力电气工程论文 | 土木建筑工程论文 | 交通运输工程论文 | 航空航天科学论文 | 图书馆情报文献学论文
  当前位置：免费论文首页 >> 计算机科学论文 >> 正文

基于区间分析的不等式自动证明

论文发布时间：[2010-03-29]    范文大全    编辑：Voive.net

所有作者：侯晓荣 邵俊伟

作者单位：电子科技大学自动化工程学院

论文摘要：本文提出了一种基于区间分析的不等式自动证明方法，这一方法可以处理类型较为一般的不等式，只需对应的函数具有所需的高阶连续可微性质，而传统的不等式自动证明方法一般仅处理代数类型，或可最终转化为代数类型的不等式。实际例子显示，该方法可以解决一些其他方法无法解决的问题。

关键词： 区间分析 不等式 自动证明

免费下载《基于区间分析的不等式自动证明》PDF全文（已停止下载）
　　本站“论文下载”文章收集整理于“中国科技论文在线”，由于各种原因，本站已暂停论文下载！请前往“中国科技论文在线http://www.paper.edu.cn/”免费下载！

〖返回计算机科学论文列表〗

下一篇：基于Eclipse插件开发的帮助系统的研究与实现

 相关范文
 热点推荐