本書以拉格朗日力學(xué)理論與自動定理證明思想為指導(dǎo)，系統(tǒng)深入地研究了泛函變分、拉格朗日力學(xué)和機器人動力學(xué)之間的天然關(guān)系，從而構(gòu)建了以泛函變分的形式化為形式化數(shù)學(xué)基礎(chǔ)、以拉格朗日力學(xué)的形式化為中心、以機器人動力學(xué)形式化分析為應(yīng)用依托的定理證明體系。內(nèi)容涵蓋了自動定理證明、泛函變分、拉格朗日力學(xué)、形式化驗證等領(lǐng)域�！禕R》　　全書主要內(nèi)容包括：泛函變分、動力學(xué)與形式化驗證的進展；泛函變分、拉格朗日力學(xué)、機器人動力學(xué)與形式化驗證主要理論；泛函變分主要理論的形式化；拉格朗日力學(xué)主要理論的形式化；機器人動力學(xué)的形式化建模與分析；模塊化自組織機器人對接運動學(xué)和動力學(xué)驗證。作者長期系統(tǒng)形式化與自動定理證明進行深入研究并在機器人安全驗證等領(lǐng)域持續(xù)實踐迭代，本書是對該過程成果的高度凝練與系統(tǒng)總結(jié)。

更多科學(xué)出版社服務(wù)，請掃碼獲取。