- 作 者：王东明主编；杨路等编著
- 出 版 社：北京：清华大学出版社
- 出版年份：2003
- ISBN：7302068399
- 标注页数：288 页
- PDF页数：297 页
请阅读订购服务说明与试读!
订购服务说明
1、本站所有的书默认都是PDF格式，该格式图书只能阅读和打印，不能再次编辑。
2、除分上下册或者多册的情况下，一般PDF页数一定要大于标注页数才建议下单购买。【本资源297 ≥288页】
图书下载及付费说明
1、所有的电子图书为PDF格式，支持电脑、手机、平板等各类电子设备阅读；可以任意拷贝文件到不同的阅读设备里进行阅读。
2、电子图书在提交订单后一般半小时内处理完成,最晚48小时内处理完成。(非工作日购买会延迟)
3、所有的电子图书都是原书直接扫描方式制作而成。
第一章 计算机代数 1
1.1 引论 1
1.2 数据表示及基本运算 5
1.3 同态与中国剩余定理 19
1.4 多项式的最大公因子 32
1.5 多项式的因子分解 46
第二章 几何定理机器证明 56
2.1 引论 56
2.2 吴方法 61
2.3 应用举例 73
2.4 几何代数法 80
2.5 例证法 87
第三章 计算实代数几何 100
3.1 实闭域 100
3.2 多项式实根个数的判定 102
3.3 多项式的实根隔离算法 110
3.4 柱形代数分解 114
3.5 常系数半代数系统的实根隔离 121
3.6 不等式的机器证明 129
3.7 参系数半代数系统的实解分类 140
4.1 曲线与曲面的表示 150
第四章 几何造型中的代数计算 150
4.2 有理曲线与曲面的隐式化 158
4.3 代数曲线与曲面的参数化 173
4.4 交点与交线、等距线与等距面 178
4.5 代数曲面的拼接 182
第五章 微分、积分和微分方程求解 193
5.1 符号微分 193
5.2 符号积分 194
5.3 有理函数的积分算法 201
5.4 常微分方程的符号解 211
5.5 非线性发展方程的孤立波解 217
5.6 孤立波解的双曲正切函数展开法 226
第六章 符号与数值混合计算 235
6.1 引论 235
6.2 概念与记号 236
6.3 良性近似问题 245
6.4 病态近似问题 254
6.5 研究问题及软件 269
参考文献 273
索引 282