Carleman不等式的加强及加强式的自动发现  

Enhanced Carleman Inequality and Its Automatic Finding

作　　者：何灯 王少光 

机构地区：[1]福建省福清港头中学,福建福清350317 [2]福建省福清东张中学,福建福清350305

出　　处：《汕头大学学报（自然科学版）》2011年第4期35-45,共11页Journal of Shantou University：Natural Science Edition

摘　　要：运用最值单调定理及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.

关 键 词：CARLEMAN不等式 最值单调定理 STIRLING公式 自动发现 

分 类 号：O122.3[理学—数学]