《幾何代數的形式化與初步套用》是2020年科學出版社出版的圖書，作者是關永、李黎明、施智平。
基本介紹
- 書名：幾何代數的形式化與初步套用
- 作者：關永、李黎明、施智平
- 出版社： 科學出版社
- ISBN：9787030630339
- 出版時間：2020-05
內容簡介,圖書目錄,
內容簡介
《幾何代數的形式化與初步套用》以幾何代數理論體系與自動定理證明思想為指導，系統深入地研究了幾何代數的形式化理論與公理化體系，構建了一個兼具代數推理和幾何解算能力的統一形式化數學定理體系，對代數與幾何從概念上進行了融合與拓展、從描述方法和運算法則上進行了綜合與歸納，為代數理論賦予了“形”的特徵，為幾何理論提供了“數”的內涵，並將其初步套用於實際物理問題的證明，內容涵蓋了自動定理證明、機器人、形式化驗證等人工智慧領域。《幾何代數的形式化與初步套用》主要內容包括：幾何代數理論的進展、形式化理論；HOL Light 定理證明器體系；幾何代數結構的形式化；幾何與物理解釋的形式化；單目相機姿態估計模型的形式化分析、對稱陀螺運動的形式化分析等初步套用案例。作者長期對系統形式化與自動定理證明進行深入研究，並在機器人安全驗證等領域持續實踐疊代，《幾何代數的形式化與初步套用》是對該過程成果的高度凝練與系統總結。
圖書目錄
序
前言
第1章緒論
第2章幾何代數簡介
第3章幾何代數結構的形式化
第4章幾何與物理解釋的形式化
第5章套用案例
第6章總結和展望
