計算機代數(shù)是研究符號計算的算法設(shè)計、理論分析和計算機實現(xiàn)的學科。本書介紹計算機代數(shù)的基本知識、算法及其理論依據(jù)。主要內(nèi)容包括數(shù)據(jù)的表示與基本運算、結(jié)式與子結(jié)式、整系數(shù)多項式的模算法、特征列方法、Grobner基方法、實系數(shù)多項式的根、實閉域上的量詞消去以及形式積分等。本書側(cè)重陳述經(jīng)典方法,并采用通俗的語言解說算法的數(shù)學理論。

更多科學出版社服務(wù)，請掃碼獲取。