摘要
运用最值单调定理及maple数学软件,对有限项Carleman不等式进行非严格化,建立了无限项Carleman不等式一个新的加强式,根据其证明规律,编写程序cdiscover,实现了此类Carleman不等式加强式的自动发现.
Limited-term Carleman inequality is made non-rigid and an enhanced infiniteterm Carleman inequality is constructed by using the monotonic maximization theorem and maple software. Computer programs of cdiscover are written to automatically find this class of enhanced Carleman inequalities.
出处
《汕头大学学报(自然科学版)》
2011年第4期35-45,共11页
Journal of Shantou University:Natural Science Edition