符号计算选讲

本书介绍符号计算的基本概念、思想、理论、方法、软件和应用，概述了符号计算的6个主要分支，包括计算机代数、几何定理机器证明的代数方法、计算实代数几何、代数计算在计算机辅助几何设计中的应用、符号微积分方程的符号解释以及符号与数值混合计算。