期刊导航
期刊开放获取
cqvip
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
3
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式:
文摘
详细
列表
相关度排序
被引量排序
时效性排序
拉格朗日中值定理的一些用法
被引量:
2
1
作者
张玉莲
杨耀杰
《华北水利水电学院学报》
2008年第2期109-110,共2页
通过实例说明了利用拉格朗日中值定理求极限和证明不等式,克服了用常规方法求极限、证明不等式的局限性,且相对简便.
关键词
拉格朗日中值定理
极限
证明不等式
下载PDF
职称材料
浅谈定积分在不等式证明与因式分解中应用
2
作者
杜红敏
《中国科教创新导刊》
2009年第3期94-95,共2页
定积分是高中新课程体系中一个新增加的重要内容,很多教师在该部分内容的教学时都与高中其他知识点割裂开来,殊不知,定积分在高中阶段解题中具有广泛的应用,本文以定积分在不等式证明和因式分解中应用为例,探讨定积分在高中解题中的应用。
关键词
定积分
不等式证明
因式分解
下载PDF
职称材料
基于随机矩阵的差分代换算法的完备化
被引量:
3
3
作者
徐嘉
姚勇
《数学学报(中文版)》
SCIE
CSCD
北大核心
2011年第2期219-226,共8页
本文利用有限核原理,给出了基于随机矩阵的逐次差分代换方法的一个完备化.获得了判定多项式半正定性的完全算法.此算法可进一步应用于计算有理函数的全局最优值.与常用的数值最优化方法不同的是,本方法获得的是精确符号解.
关键词
逐次差分代换方法
不等式机器证明
完备化
原文传递
题名
拉格朗日中值定理的一些用法
被引量:
2
1
作者
张玉莲
杨耀杰
机构
河南省教育学院
出处
《华北水利水电学院学报》
2008年第2期109-110,共2页
文摘
通过实例说明了利用拉格朗日中值定理求极限和证明不等式,克服了用常规方法求极限、证明不等式的局限性,且相对简便.
关键词
拉格朗日中值定理
极限
证明不等式
Keywords
Lagrangian
middle
value
theorem
i
limit
proving
inequation
分类号
O174 [理学—数学]
下载PDF
职称材料
题名
浅谈定积分在不等式证明与因式分解中应用
2
作者
杜红敏
机构
西华师范大学数学与信息学院
出处
《中国科教创新导刊》
2009年第3期94-95,共2页
文摘
定积分是高中新课程体系中一个新增加的重要内容,很多教师在该部分内容的教学时都与高中其他知识点割裂开来,殊不知,定积分在高中阶段解题中具有广泛的应用,本文以定积分在不等式证明和因式分解中应用为例,探讨定积分在高中解题中的应用。
关键词
定积分
不等式证明
因式分解
Keywords
fixed
points
to
prove
inequ
ality
factorization
分类号
G71 [文化科学—职业技术教育学]
下载PDF
职称材料
题名
基于随机矩阵的差分代换算法的完备化
被引量:
3
3
作者
徐嘉
姚勇
机构
西南民族大学计算机科学与技术学院
中国科学院成都计算机应用研究所
出处
《数学学报(中文版)》
SCIE
CSCD
北大核心
2011年第2期219-226,共8页
基金
国家自然科学基金(90718041
11001228
+2 种基金
10901116)
中科院知识创新工程重要方向项目(KJCX-YW-S02)
西南民族大学中央高校基本科研业务费专项资金(09NZYZJ07)及人才引进项目(2009RC004)
文摘
本文利用有限核原理,给出了基于随机矩阵的逐次差分代换方法的一个完备化.获得了判定多项式半正定性的完全算法.此算法可进一步应用于计算有理函数的全局最优值.与常用的数值最优化方法不同的是,本方法获得的是精确符号解.
关键词
逐次差分代换方法
不等式机器证明
完备化
Keywords
method
of
successive
difference
substitution
automated
proving
for
inequ
ality
completion
分类号
O178 [理学—数学]
原文传递
题名
作者
出处
发文年
被引量
操作
1
拉格朗日中值定理的一些用法
张玉莲
杨耀杰
《华北水利水电学院学报》
2008
2
下载PDF
职称材料
2
浅谈定积分在不等式证明与因式分解中应用
杜红敏
《中国科教创新导刊》
2009
0
下载PDF
职称材料
3
基于随机矩阵的差分代换算法的完备化
徐嘉
姚勇
《数学学报(中文版)》
SCIE
CSCD
北大核心
2011
3
原文传递
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部