內容簡介
本卷收錄了吳文俊在數學機械化領域發表的56論文篇。內容包括:幾何定理機器證明的吳方法,多項式繫統符號求解的Ritt-吳特征列方法,構造性微分代數幾何理論,不等式機器證明與優化問題的有限核定理等數學機械化領域的奠基性成果。還包括數學機械化方法在數學定理的自動發現、天體中心構型問題求解、平面機構定理的機器證明、機器人的運動學問題的自動求解、幾何設計中的曲面拼接等問題中的應用。
|
|
首頁 | 電影 | 連續劇 | 音樂 | 圖書 | 女裝 | 男裝 | 童裝 | 內衣 | 百貨家居 | 包包 | 女鞋 | 男鞋 | 童鞋 | 計算機周邊 |
![]() | |||
|