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

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