汕头大学学报：自然科学版
汕頭大學學報：自然科學版
산두대학학보：자연과학판
Journal of Shantou University(Natural Science Edition)
2011年
4期
35-45
,共11页
Carleman不等式%最值单调定理%Stirling公式%自动发现
Carleman不等式%最值單調定理%Stirling公式%自動髮現
Carleman불등식%최치단조정리%Stirling공식%자동발현
Carleman inequality%monotonic maximization theorem%Stirling equation%automatic finding
运用最值单调定理及maple数学软件．对有限项Carleman不等式进行非严格化．建立了无限项Carleman不等式一个新的加强式，根据其证明规律，编写程序cdiscover，实现了此类Carleman不等式加强式的自动发现．
運用最值單調定理及maple數學軟件．對有限項Carleman不等式進行非嚴格化．建立瞭無限項Carleman不等式一箇新的加彊式，根據其證明規律，編寫程序cdiscover，實現瞭此類Carleman不等式加彊式的自動髮現．
운용최치단조정리급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.
