2. 您的位置
3. 首页
4. 期刊论文
5. 基于区间分析的不等式自动证明

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

来源 :系统科学与数学 | 被引量 : 0次 | 上传用户：AliceXQ

【摘 要】

：

提出了一种基于区间分析的不等式自动证明方法,这一方法可以处理类型较为一般的不等式,只需对应的函数具有所需的高阶连续可微性质,而传统的不等式自动证明方法一般仅处理代

【作 者】

：

侯晓荣 邵俊伟 

【机 构】

：

电子科技大学自动化工程学院

【出 处】

：

系统科学与数学

【发表日期】

：

2010年10期

【关键词】

：

区间分析 不等式 自动汪明 

下载到本地 , 更方便阅读

下载此文 赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

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

其他文献