TOP
0
0
【簡體曬書區】 單本79折,5本7折,活動好評延長至5/31,趕緊把握這一波!

縮小範圍


商品類型


簡體書 (2)

商品狀況


可訂購商品 (2)

庫存狀況


無庫存 (2)

商品定價


$199以下 (1)
$400~$599 (1)

出版日期


2016~2017 (1)
2016年以前 (1)

裝訂方式


精裝 (1)

作者


楊路、夏壁燦 (1)
王東明、夏壁燦、李子明 (1)

出版社/品牌


清華大學出版社(大陸) (1)
科學出版社 (1)

三民網路書店 / 搜尋結果

2筆商品,1/1頁
不等式機器證明與自動發現(簡體書)
滿額折

1.不等式機器證明與自動發現(簡體書)

作者:楊路; 夏壁燦  出版社:科學出版社  出版日:2017/01/15 裝訂:精裝
本書主要介紹作者及其合作者近十年來在不等式機器證明與自動發現方面的工作,兼顧經典結果和方法,全書共分7章,分別介紹和論述多項式的偽除與結式、相對單純分解、多項式的實根、常系數半代數系統的實解隔離、參系數半代數系統的實解分類、不等式機器證明的降維算法與BOTTEMA程序以及不等式的明證.除第1章及第3章、第7章的部分內容外,余皆作者及合作者的工作,附錄介紹了子結式理論和柱形代數分解算法,還包括了對作
定價:528 元, 優惠價:87 459
海外經銷商無庫存,到貨日平均30天至45天
計算機代數(第2版)(簡體書)
滿額折

2.計算機代數(第2版)(簡體書)

作者:王東明; 夏壁燦; 李子明  出版社:清華大學出版社(大陸)  出版日:2007/10/01 裝訂:平裝
本書介紹計算機代數的基本概念、方法、軟件和部分應用。全書共分8章,論述大整數和多項式的表示與基本運算、結式與子結式、模方法與多項式的最大公因子、p進方法與多項式的因子分解、特征列方法、Grobner基方法和實閉域上的量詞消去。書中給出了基本算法的復雜度估計,并綜述了各種計算機代數系統。本書側重于基礎知識、經典結果和著名算法,但也包含了少量最新研究成果。 本書可作為高等院校數學系和計算機科學系高年
定價:179 元, 優惠價:87 156
海外經銷商無庫存,到貨日平均30天至45天

暢銷榜

客服中心

收藏

會員專區