符号计算选讲

第一章 计算机代数 1.1 引论 1.2 数据表示及基本运算 1.3 同态与中国剩余定理 1.4 多项式的最大公因子 1.5 多项式的因子分解第二章 几何定理机器证明 2.1 引论 2.2 吴方法 2.3 应用举例 2.4 几何代数法 2.5 例证法第三章 计算实代数几何 3.1 实闭域 3.2 多项式实根个数的判定

第一章 计算机代数 1.1 引论 1.2 数据表示及基本运算 1.3 同态与中国剩余定理 1.4 多项式的最大公因子 1.5 多项式的因子分解第二章 几何定理机器证明 2.1 引论 2.2 吴方法 2.3 应用举例 2.4 几何代数法 2.5 例证法第三章 计算实代数几何 3.1 实闭域 3.2 多项式实根个数的判定 3.3 多项式的实根隔离算法 3.4 柱形代数分解 3.5 常系数半代数系统的实根隔离 3.6 不等式的机器证明 3.7 参系数半代数系统的实解分类第四章 几何造型中的代数计算 4.1 曲线与曲面的表示 4.2 有理曲线与曲面的隐式化 4.3 代数曲线与曲面的参数化 4.4 交点与交线.等距线与等距面 4.5 代数曲面的拼接第五章 微分.积分和微分方程求解 5.1 符号微分 5.2 符号积分 5.3 有理函数的积分算法 5.4 常微分方程的符号解 5.5 非线性发展方程的孤立波解 5.6 孤立波解的双曲正切函数展开法 第六章 符号与数值混合计算 6.1 引 论 6.2 概念与记号 6.3 良性近似问题 6.4 病态近似问题 6.5 研究问题及软件 参考文献索引

本书介绍符号计算的基本概念、思想、理论、方法、软件和应用，全书共分6章，概述符号计算的6个主要分支，内容包括计算代数，几何定理机器证明的代数方法，计算实代数几何，代数计算在计算机辅助几何设计中的应用，符号微分、符号积分和微分议程的符号解，以及符号与数值混合计算，本书选材侧重基础知识和经典算法，兼收学科的前沿发展和最新研究成果。 本书可作业高等院校数学和计算机科学系高年级学生及研究生的教学参考书，也可供有关科研和工程技术人员参考。