關(guān)于我們
書單推薦
新書推薦

幾何代數(shù)的形式化與初步應(yīng)用

幾何代數(shù)的形式化與初步應(yīng)用

定  價:99 元

        

  • 作者:關(guān)永,李黎明,施智平
  • 出版時間:2020/5/27
  • ISBN:9787030630339
  • 出 版 社:科學(xué)出版社
  • 中圖法分類:TP 
  • 頁碼:152
  • 紙張:膠版紙
  • 版次:1
  • 開本:16K
9
7
6
8
3
7
0
0
3
3
3
0
9

讀者對象:機器人領(lǐng)域相關(guān)科研人員,以及從事形式化數(shù)學(xué)或者幾何代數(shù)研究及工程人員

本書以幾何代數(shù)理論體系與自動定理證明思想為指導(dǎo),系統(tǒng)深入地研究了幾何代數(shù)的形式化理論與公理化體系,構(gòu)建了一個兼具代數(shù)推理和幾何解算能力的統(tǒng)一形式化數(shù)學(xué)定理體系,對代數(shù)與幾何從概念上進行了融合與拓展、從描述方法和運算法則上進行了綜合與歸納,為代數(shù)理論賦予了“形”的特征,為幾何理論提供了“數(shù)”的內(nèi)涵,并將其初步應(yīng)用于實際物理問題的證明,內(nèi)容涵蓋了自動定理證明、機器人、形式化驗證等人工智能領(lǐng)域。全書主要內(nèi)容包括:幾何代數(shù)理論的進展、形式化理論;HOLLight定理證明器體系;幾何代數(shù)結(jié)構(gòu)的形式化;幾何與物理解釋的形式化;單目相機姿態(tài)估計模型的形式化分析、對稱陀螺運動的形式化分析等初步應(yīng)用案例。作者長期對系統(tǒng)形式化與自動定理證明進行深入研究,并在機器人安全驗證等領(lǐng)域持續(xù)實踐迭代,本書是對該過程成果的高度凝練與系統(tǒng)總結(jié)。

更多科學(xué)出版社服務(wù),請掃碼獲取。
 你還可能感興趣
 我要評論
您的姓名   驗證碼: 圖片看不清?點擊重新得到驗證碼
留言內(nèi)容