下載App 公眾號(hào) 登錄

幾何代數(shù)的形式化與初步應(yīng)用/關(guān)永,李黎明,施智平

幾何代數(shù)的形式化與初步應(yīng)用/關(guān)永,李黎明,施智平
出版時(shí)間:2020-05
頁(yè)數(shù):140
字?jǐn)?shù):190000
ISBN:9787030630339
1家庭擁有
0條書評(píng)筆記
在小花生App為孩子
建立免費(fèi)電子書房
寫書評(píng)

圖書介紹

《幾何代數(shù)的形式化與初步應(yīng)用》以幾何代數(shù)理論體系與自動(dòng)定理證明思想為指導(dǎo)，系統(tǒng)深入地研究了幾何代數(shù)的形式化理論與公理化體系，構(gòu)建了一個(gè)兼具代數(shù)推理和幾何解算能力的統(tǒng)一形式化數(shù)學(xué)定理體系，對(duì)代數(shù)與幾何從概念上進(jìn)行了融合與拓展、從描述方法和運(yùn)算法則上進(jìn)行了綜合與歸納，為代數(shù)理論賦予了“形”的特征，為幾何理論提供了“數(shù)”的內(nèi)涵，并將其初步應(yīng)用于實(shí)際物理問題的證明，內(nèi)容涵蓋了自動(dòng)定理證明、機(jī)器人、形式化驗(yàn)證等人工智能領(lǐng)域?！稁缀未鷶?shù)的形式化與初步應(yīng)用》主要內(nèi)容包括：幾何代數(shù)理論的進(jìn)展、形式化理論；HOL Light 定理證明器體系；幾何代數(shù)結(jié)構(gòu)的形式化；幾何與物理解釋的形式化；單目相機(jī)姿態(tài)估計(jì)模型的形式化分析、對(duì)稱陀螺運(yùn)動(dòng)的形式化分析等初步應(yīng)用案例。作者長(zhǎng)期對(duì)系統(tǒng)形式化與自動(dòng)定理證明進(jìn)行深入研究，并在機(jī)器人安全驗(yàn)證等領(lǐng)域持續(xù)實(shí)踐迭代，《幾何代數(shù)的形式化與初步應(yīng)用》是對(duì)該過程成果的高度凝練與系統(tǒng)總結(jié)。
還沒有花友書評(píng)，開始
誰家擁有這本書（來自小花生App）
2歲
2年前 放入書房