本文選題：指數(shù)多項式不等式　切入點：自動證明　出處：《系統(tǒng)科學(xué)與數(shù)學(xué)》2017年07期

【摘要】：討論了指數(shù)多項式不等式的自動證明問題,運用Taylor展開式將目標(biāo)不等式的證明轉(zhuǎn)化為一系列的一元多項式不等式的驗證,然后借助代數(shù)不等式證明工具(如Bottema)完成最后的工作.運用Maple實現(xiàn)了上述算法,算法對所有指數(shù)多項式不等式終止,并且可以輸出"可讀"的證明過程.
[Abstract]:In this paper, the problem of automatic proof of exponential polynomial inequality is discussed. The proof of objective inequality is transformed into a series of univariate polynomial inequalities by Taylor expansion. Then the last work is accomplished by means of algebraic inequality proof tools (such as Bottema). The algorithm is implemented by Maple, which terminates all exponential polynomial inequalities and can output the proof process of "readable".
【作者單位】： 中國民航飛行學(xué)院德陽校區(qū)-四川省商貿(mào)學(xué)校;樂山職業(yè)技術(shù)學(xué)院;
【基金】：德陽市校(院,所)市科技合作計劃資助課題
【分類號】：O174.14

【相似文獻(xiàn)】

相關(guān)碩士學(xué)位論文 前3條

1 何佳;關(guān)于對偶Orlicz混合均質(zhì)積分的若干不等式[D];西南大學(xué);2017年

2 楊翠環(huán);特殊函數(shù)的漸近展開式與不等式[D];河南理工大學(xué);2016年

3 秦國權(quán);湍流模型的k-ε方程的適定性與正則性研究[D];河南理工大學(xué);2016年

，

本文編號：1672529