xxxfreesexmoves-haodiaocao这里只有精品视频-欧美性受黑人性爽-欧美性受xxxxxx黑人xyx性爽|www.jsyyzsb.com

關于我們
新書資訊
新書推薦

不等式的分拆降維降冪方法與可讀證明

不等式的分拆降維降冪方法與可讀證明

定     價:¥68

中 教 價:¥47.60  (7.00折)

庫 存 數: 0

叢 書 名: 數學·統計學系列

  • 作者:陳勝利著
  • 出版時間:2016/1/1
  • ISBN:9787560357973
  • 出 版 社:哈爾濱工業大學出版社
  • 中圖法分類:O178 
  • 頁碼:452頁
  • 紙張:膠版紙
  • 版次:1
  • 開本:16K
  • 商品庫位:
9
7
3
8
5
7
7
5
9
6
7
0
3
購買數量:
  《不等式的分拆降維降冪方法與可讀證明》系統總結了作者及其合作者近十年來在不等式數學機械化領域的一系列研究成果及其軟件(SCHUR01)實現。SCHUR01是基于作者提出的“分拆一降維一降冪一綜合”等算法原理而開發的具有自動發現功能的新穎的不等式證明軟件,適用于一般代數式乃至任意維數、任意次數的多項式的半正定判定及優化問題。SCHUR01對于對稱式尤為高效。并且從整體上是可讀的。把《不等式的分拆降維降冪方法與可讀證明》與SCHUR01結合起來閱讀使用可使讀者對于不等式的機器證明過程及其理論依據有深入的理解。
 你還可能感興趣
 我要評論
您的姓名   驗證碼: 圖片看不清?點擊重新得到驗證碼
留言內容