切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
建立不等式的判别式法、极值法和机械化法之比较
建立不等式的判别式法、极值法和机械化法之比较
来源 :成都大学学报:自然科学版 | 被引量 : 0次 | 上传用户:TORO_123
【摘 要】
:
在建立不等式时,将判别式法、极值法与和机械化法做比较,实例表明机械化法之优越性.
【作 者】
:
王挽澜
姚勇
【机 构】
:
成都大学信息科学与技术学院,中国科学院成都计算机应用技术研究所
【出 处】
:
成都大学学报:自然科学版
【发表日期】
:
2008年3期
【关键词】
:
方法
不等式
机械化方法
method
inequality
automated inequality proving
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
在建立不等式时,将判别式法、极值法与和机械化法做比较,实例表明机械化法之优越性.
其他文献
浅谈中学语文文言文教法
文言文教学在语文教学中好比人身上的阑尾,为什么呢?平时教学大家都觉得文言好教,考起试来仍然把学生给难住了,这就好比阑尾发作了。原因是教师教授文言文时学生听得比较仔细认真
期刊
语文教学
教法
中学
学生
参考书
教师
小杂豆复合抗病性研究现状
期刊
杂豆类
复合抗病性
豇豆
绿豆
安络痛片的紫外分光光谱吸收度法研究
<正> 安络痛片为伞菌科植物安络小皮伞菌(Marasmius androsaceus)经培养、发酵、提取制成的浸膏片。其乙醇提取物具有镇痛作用,用于治疗神经痛。河南、山西、湖南、江苏等地
期刊
安络痛片
镇痛药
紫外分光光谱吸收度法
含量
巧妙联想熟记化学知识
期刊
有机化学
学习
记忆方法
联想法
甲硝唑注射液与注射用唑啉头孢菌素钠的配伍变化
<正> 甲硝唑为抗滴虫药,并具有广谱抗厌氧菌作用,常和其它抗生素同时应用。能否混合静滴呢?我们对甲硝唑注射液与注射用唑啉头孢菌素钠的配伍变化进行了实验。现报告如下:
期刊
甲硝唑注射液
唑啉头孢菌素
配伍
甲硝唑口腔用散剂的研制及质量控制
<正> 甲硝唑(Metronidzole)为广谱抗厌氧菌感染的药物,对能引起牙周病的梭状芽胞杆菌,其抑菌浓度在2.0μg/ml 以下。鉴于片剂口服后可对消化道、造血系统产生较为严重的毒副
期刊
甲硝唑
散剂
含量
怎样养好幼兔
期刊
幼兔
断奶
饲养管理
基于高速移动节点网络的OLSR路由协议改进
经典的OLSR路由协议在选取MPR集时没有考虑到一定的冗余,这样使得占用大量网络协议资源选择的路由信息在很短的时间内变得不可达,从而不得不重新选择路由,这样势必造成很大的带
期刊
OLSR
MPRs
重定义
OLSR
MPRs
redefine
1995年度“秦九韶科学和教育奖励基金”评选揭晓
四川省安岳县五交化公司无偿提供拾万元设立的“秦九韶科学和教育奖励基金”,1995年度的评审工作是严格按照评奖章程,对全部申报项目经过评审组初选,专家鉴定以及复评,最后经
期刊
科学和教育
秦九韶
奖励基金
1995年
翻译理论与实践
申报项目
评审工作
安岳县
工艺条件
四川省
新型的二氢呲啶血管扩张剂
七十年代后期,国外报道了一些新型的二氢吡啶血管扩张剂的合成,药理作用及临床应用。本文拟将其中对心脑血管疾病有明显疗效者,简述如下:这些新型的二氢吡啶血管扩张剂的名称
期刊
与本文相关的学术论文