第一章 计算机代数1

第二章 几何定理机器证明56

第三章 计算实代数几何100

第四章 几何造型中的代数计算150

第五章 微分、积分和微分方程求解193

第六章 符号与数值混合计算235