汕头大学学报：自然科学版
汕頭大學學報：自然科學版
산두대학학보：자연과학판
Journal of Shantou University(Natural Science Edition)
2012年
1期
27-34,41
,共9页
Carleman不等式%最值单调定理%Stirhng公式%自动发现
Carleman不等式%最值單調定理%Stirhng公式%自動髮現
Carleman불등식%최치단조정리%Stirhng공식%자동발현
Carleman inequality%monotonic maximization theorem%Stirling equation%automatic finding
对有限项Carleman不等式进行非严格化．建立了无限项Carleman不等式下界的一个改进，根据其证明规律，编写程序cdiscover2，实现了此类Carleman不等式下界改进式的自动发现．
對有限項Carleman不等式進行非嚴格化．建立瞭無限項Carleman不等式下界的一箇改進，根據其證明規律，編寫程序cdiscover2，實現瞭此類Carleman不等式下界改進式的自動髮現．
대유한항Carleman불등식진행비엄격화．건립료무한항Carleman불등식하계적일개개진，근거기증명규률，편사정서cdiscover2，실현료차류Carleman불등식하계개진식적자동발현．
Finite-term Carleman inequalities are made non-rigid and an improvement is made on lower bound of enhanced infinite-term Carleman inequalities. A computer program, cdiscover2, is written to automatically find lower bounds of the class of enhanced Carleman inequalities.
