微信扫一扫,移动浏览光盘
简介
本书介绍符号计算的基本概念、思想、理论、方法、软件和应用．全书共分6章，概述符号计算的6个主要分支．内容包括计算机代数，几何定理机器证明的代数方法，计算实代数几何，代数计算在计算机辅助几何设计中的应用，符号微分、符号积分和微分方程的符号解，以及符号与数值混合计算．本书选材侧重基础知识和经典算法，兼收学科的前沿发展和最新研究成果．
本书可作为高等院校数学和计算机科学系高年级学生及研究生的教学参考书，也可供有关科研和工程技术人员参考．
目录
第一章 计算机代数
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 研究问题及软件
参考文献
索 引
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 研究问题及软件
参考文献
索 引
Selected Lectures in Symbolic Computation
- 名称
- 类型
- 大小
光盘服务联系方式: 020-38250260 客服QQ：4006604884
云图客服：
用户发送的提问，这种方式就需要有位在线客服来回答用户的问题，这种 就属于对话式的,问题是这种提问是否需要用户登录才能提问
Video Player
×
Audio Player
×
pdf Player
×
