內容介紹
本書介紹符號計算的基本概念、思想、理論、方法、軟體和套用。全書共分6章，概述符號計算的6個主要分支，內容包括計算代數，幾何定理機器證明的代數方法，計算實代數幾何，代數計算在計算機輔助幾何設計中的套用，符號微分、符號積分和微分方程的符號解，以及符號與數值混合計算。本書選材側重基礎知識和經典算法，兼收學科的前沿發展和最新研究成果。 本書可作業高等院校數學和計算機科學系高年級學生及研究生的教學參考書，也作品目錄
第一章計算機代數1. 1引論
1. 2數據表示及基本運算
1. 3同態與中國剩餘定理
1. 4多項式的最大公因子
1. 5多項式的因子分解
第
