關鍵字查詢 | 類別:期刊論文 | 關鍵字 | 關鍵字:Theorem proving

[第一頁][上頁]1[次頁][最末頁]目前在第 1 頁 / 共有 02 筆查詢結果
序號 學年期 教師動態
1 92/2 數學系 譚必信 教授 期刊論文 發佈 Strong linear preservers of symmetric doubly stochastic or doubly substochastic matrices , [92-2] 關鍵字:Conformal mapping;Graph theory;Stochastic programming;Theorem proving;Linear preservers;Permutation matrices;Stochastic matrices;Symmetric matrices;Matrix algebra
2 94/1 航太系 田 豐 教授 期刊論文 發佈 An unified approach to missile guidance laws: a 3D extension , [94-1] 關鍵字:Approximation theory;Differential equations;Mathematical transformations;Theorem proving;Vectors;Line-of-sight;Missile guidance laws;Modified polar coordinate;Electronic guidance systems
[第一頁][上頁]1[次頁][最末頁]目前在第 1 頁 / 共有 02 筆查詢結果