Abstract:The necessary and sufficient condition for a class of inequalities with radical functions like g=m1u1+m2u2+…+mnun was discussed based on the rationalization of radical functions. This condition successfully transformed the inequality with radical functions into a set of rational inequalities. Furthermore
the condition was applied to symbolic algorithm of global optimization of the class of radical functions. Thus
the former universal algorithm was improved so that the new algorithm is much more efficient.
关键词
全局优化符号算法根式函数差分代换
Keywords
global optimizationsymbolic algorithmradical functionssds
references
杨路,全局优化的符号算法与有限核原理,济南:山东教育出版社,2001.
Yang Lu,Solving harder problems with lesser mathematics,ATCM Inc,2005.
杨路 差分代换与不等式机器证明 [J].
杨路 不等式机器证明的降维算法与通用程序 [J].
Yang Lu,Practical automated reasoning on inequalities:Generic programs for inequality proving and discovering,Springer-verlag,1998.