切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
不等式自动发现和判定程序agl2010的若干改进及应用
不等式自动发现和判定程序agl2010的若干改进及应用
来源 :广东第二师范学院学报 | 被引量 : 0次 | 上传用户:a5823869
【摘 要】
:
对不等式自动发现和判定程序agl2010进行了若干改进,扩充了程序功能,提高了运算效率;讨论了自动发现不等式过程中的若干技巧和策略;以实例的方式介绍了agl2010程序的应用.
【作 者】
:
刘保乾
【机 构】
:
西藏自治区组织编制信息管理中心
【出 处】
:
广东第二师范学院学报
【发表日期】
:
2011年3期
【关键词】
:
不等式自动发现与判定程序agl2010
三角形几何不等式
机器证明
automated inequality discovering and decision
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
对不等式自动发现和判定程序agl2010进行了若干改进,扩充了程序功能,提高了运算效率;讨论了自动发现不等式过程中的若干技巧和策略;以实例的方式介绍了agl2010程序的应用.
其他文献
借助外力 加快发展
期刊
招商引资
解放思想
投资者
国际惯例
招商引资工作
投资导向
更新观念
效益农业
经济发展
城镇基础设施
上海市某小区4例手足口病情况分析
doi:10.3969/j.issn.1007-614x.2010.28.197 流行病学调查 一般资料:4例手足口病(HFMD)患者均为本街道天义小区的居民,其中男2例,女2例,3例是5岁的托幼机构儿童,发病至就诊时间2~3天。
期刊
手足口病
上海市
病情
流行病学调查
托幼机构
就诊时间
遗传易感性对于病因推断的影响
目的;探讨遗传易感性对于病因推断的影响。方法:应用单基因易感性模型,流行病学研究中对家庭聚集性的多种测量方法及环境危险度测量方法。结果:遗传易感性影响人群中疾病致病因素
期刊
遗传易感性
病因推断
环境因素
Genetic susceptibility
Environmental factors
Etiologic inferen
深化改革 加强管理 不断开拓财政工作新局面──访吉林省财政厅厅长矫正中
期刊
财政工作
深化改革
吉林省
财政监督管理
加强管理
财政部门
“三个代表”
讲政治
财政收入
财政厅
品贵如梅
淮安是“一品梅”的故乡,也是我们敬爱的周恩来总理的故乡,可见周总理与“一品梅”有着难舍的情、难解的缘。尤其是总理故居的那棵百岁腊梅,更令国内外朋友流连忘返,思绪万千
期刊
周恩来总理
思绪万千
周总理
全心全意为人民服务
中国近代史
意识形态
故居
人格力量
邓小平
楷模形象
1454名男男性接触者HIV感染情况及相关因素分析
目的:分析广州市男男性接触者(MSM)的性行为特征、HIV和梅毒感染情况及其影响因素,为进一步在男男同性恋人群中开展艾滋病高危行为干预提供科学依据。方法:对1454名MsM进行问卷调
期刊
获得性免疫缺陷综合征
男男
性接触者
海洋输油管道系统建模及边界PID控制
研究了一类海洋输油管道系统建模和振动控制问题.通过将管道简化为Euler-Bernoulli梁模型进行处理,将属于分布参数系统的管道模型由一组偏微分方程和一组常微分方程来表示.为抑
期刊
输油管道
边界PID控制
分布式参数系统
偏微分方程
Marine Riser
Boundary PID Control
Distributed-Param
夯实基础护理提供优质服务的管理体会
护理工作是医疗卫生事业的重要组成部分,护理工作质量直接关系到医疗质量和医疗安全,关系到社会对医疗卫生服务的满意度。体现服务性较强的职业,患者的满意度就是评价护理服务优质程度最关键的标准。随着社会的发展,患者对医疗服务的需求不断提高,对护理工作也提出了更高的要求,怎样围绕患者不断增长的服务需求,创新思维,推行更易于患者接受的服务模式,是护理管理者应思索的关键问题。响应卫生部推行的“优质护理服务示范工
期刊
护理管理者
服务性
基础护理
护理服务质量
护理工作质量
保障医疗安全
护理服务需求
服务满意度
不同镉积累特性蕹菜品种的叶绿素含量
通过盆栽实验,研究了不同镉积累特性的3个蕹菜典型品种在不同土壤条件下的叶绿素含量.方差分析结果显示品种对叶绿素含量的效应显著(p〈0.05).土壤A上,叶绿素a、叶绿素b、叶绿素总含
期刊
蕹菜
不同镉积累特性品种
叶绿素含量
water spinach
typical cultivars with different Cd accumulati
一心为民的好书记
他没有乡镇工作经验,但他却与群众打成了一片;他下派时间不长,但他却深受群众的爱戴。到任以来,他只是用自己默默的奉献之行和帮民富、解民忧的拳拳之心,诠释着一名乡镇党委
期刊
好书
基层党组织
第二轮土地承包
贫富差距
“三个代表
反季节蔬菜
集安市
爱民情怀
建筑材料
水泥
与本文相关的学术论文