助手标题  
全文文献 工具书 数字 学术定义 翻译助手 学术趋势 更多
查询帮助
意见反馈
   inequality proving 的翻译结果: 查询用时:0.163秒
图标索引 在分类学科中查询
所有学科
数学
更多类别查询

图标索引 历史查询
 

inequality proving
相关语句
  不等式证明
     By applying skills of Abel summation and subtraction formulae and step summation formulae and according to structural characters of problems, some applications of Abel method to series beg to limit, series inequality proving and summation of series were probed into.
     利用Abel和差变换公式与分部求和公式的技巧,根据问题的结构特征,探讨了Abel方法分别在级数求极限、级数不等式证明及求级数和中的几点应用;
短句来源
     APPLICATION OF CONVEX FUNCTION IN INEQUALITY PROVING
     凸函数在不等式证明中的应用
短句来源
     The Probabilistic Method in Inequality proving
     不等式证明中的概率方法
短句来源
     Properties of Convex Function and Inequality Proving
     凸函数的性质与不等式证明
短句来源
     Skill for Forming Auxiliary Function in Inequality Proving
     不等式证明中的辅助函数作法技巧
短句来源
更多       
  “inequality proving”译为未确定词的双语例句
     Difference substitution and automated inequality proving
     差分代换与不等式机器证明
短句来源
     A Dimension Decreasing Algorithm with Generic Program for Automated Inequality Proving
     不等式机器证明的降维算法与通用程序
短句来源
     Limit Searching and Inequality Proving with Definite Integral Method
     用定积分求极限及证不等式
短句来源
     A program named SDS is designed for polynomial inequality proving,in other words,for decision of nonnegativity of polynomials.
     设计了一个试探性的计算机程序SDS,用于证明多项式不等式,或等价地,用于判定多项式的非负性.
短句来源
  相似匹配句对
     proving inequality;
     证明不等式;
短句来源
     On the Proving of the Integral Inequality
     关于积分不等式的证明
短句来源
     Inequality
     不等式(之3)
短句来源
     N. inequality.
     N不等式及Ambrosetti的山路引理证明了方程存在非平凡解.
短句来源
     proving monotonicity;
     证明等式;
短句来源
查询“inequality proving”译词为用户自定义的双语例句

    我想查看译文中含有:的双语例句
例句
为了更好的帮助您理解掌握查询词或其译词在地道英语中的实际用法,我们为您准备了出自英文原文的大量英语例句,供您参考。
  inequality proving
Except for our inequality proving procedure, the new results in this thesis are theorems, not algorithms.
      


The author make a study of convex function and its properties,average valued inequalities proved,and some trigonometic inequalities in convex polygons obtained.

研究凸函数及其性质,证明了均值不等式,得到了凸多边形中的一些三角不等式

Automated inequality proving has been a difficult topic in the area of automated reasoning for many years. The concerning algorithms depend on real algebra and real geometry, and the computational complexity increases very quickly with the dimension, i.e. the number of parameters. Some well known algorithms are complete theoretically but inefficient in practice, which cannot verify non trivial propositions in batches. A dimension decreasing algorithm presented here can treat radicals efficiently and...

Automated inequality proving has been a difficult topic in the area of automated reasoning for many years. The concerning algorithms depend on real algebra and real geometry, and the computational complexity increases very quickly with the dimension, i.e. the number of parameters. Some well known algorithms are complete theoretically but inefficient in practice, which cannot verify non trivial propositions in batches. A dimension decreasing algorithm presented here can treat radicals efficiently and make the dimensions lowest. Based on this algorithm, a generic program called “ BOTTEMA” was implemented on a PC computer. About 500 algebraic and geometric inequalities including more than 100 open problems have been verified in this way. The total CPU time spent for proving 120 basic inequalities from Bottema’s monograph, “Geometric Inequalities” on a Pentium/200, was 20 odd seconds only.

1Algebraicapproaches:achievementsanddificultiesWehavereasontobelievethatcomputerwilplayamuchmoreimportantroleinreasoningscie...

A new method for limit searching and inequality proving —definite integral method was presented,the method analyses problems from a totally new angle.

给出了一种求极限及证明不等式的方法——定积分法。与常规方法相比,该方法从一个全新的角度分析问题,从而开拓了解题思路

 
<< 更多相关文摘    
图标索引 相关查询

 


 
CNKI小工具
在英文学术搜索中查有关inequality proving的内容
在知识搜索中查有关inequality proving的内容
在数字搜索中查有关inequality proving的内容
在概念知识元中查有关inequality proving的内容
在学术趋势中查有关inequality proving的内容
 
 

CNKI主页设CNKI翻译助手为主页 | 收藏CNKI翻译助手 | 广告服务 | 英文学术搜索
版权图标  2008 CNKI-中国知网
京ICP证040431号 互联网出版许可证 新出网证(京)字008号
北京市公安局海淀分局 备案号:110 1081725
版权图标 2008中国知网(cnki) 中国学术期刊(光盘版)电子杂志社