全文文献 工具书 数字 学术定义 翻译助手 学术趋势 更多

 inequality proving 的翻译结果: 查询用时：0.163秒
 在分类学科中查询 所有学科 数学 更多类别查询

 历史查询

 inequality proving 不等式证明(10)
 不等式证明
 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
 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. １Ａｌｇｅｂｒａｉｃａｐｐｒｏａｃｈｅｓ：ａｃｈｉｅｖｅｍｅｎｔｓａｎｄｄｉｆｉｃｕｌｔｉｅｓＷｅｈａｖｅｒｅａｓｏｎｔｏｂｅｌｉｅｖｅｔｈａｔｃｏｍｐｕｔｅｒｗｉｌｐｌａｙａｍｕｃｈｍｏｒｅｉｍｐｏｒｔａｎｔｒｏｌｅｉｎｒｅａｓｏｎｉｎｇｓｃｉｅ... 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－中国知网

2008中国知网(cnki) 中国学术期刊(光盘版)电子杂志社