内容介绍
用户评论
全部咨询
内容简介
本书阐述如何使计算机能自动推导数学公式、求数学问题的解析解（非数值解）问题，阐述的重点是计算机自动推导数学公式的理论、算法以及设计实现计算机代数语言的基本理论。
本书可供计算机专业及使用计算机进行理论研究的各专业的科技人员、大专院校师生参考。
目录
- 第一章 绪论
1.1 计算机代数学的研究对象
1.1.1 问题的提出
1.1.2 符号计算与数值计算
1.1.3 计算机代数学与数学
1.1.4 计算机代数学与人工智能
1.1.5 计算机代数学的基本内容
1.2 计算机代数学的意义
1.2.1 科学计算革命
1.2.2 数学推理的自动化
第二章 计算机代数语言学
2.1 计算机代数语言的设计原理
2.2 作为数学问题求解的计算机代数语言
2.2.1 任意长数的无误差运算
2.2.2 初等数论
2.2.3 计算数表达式
2.2.4 多项式运算
2.2.5 多项式无平方分解和因式分解
2.2.6 多项式环上丢藩图方程解及逆元素
2.2.7 多项式的结式
2.2.8 有理函数运算
2.2.9 初等代数表达式化简
2.2.10 符号矩阵和行列式运算
2.2.11 符号系数线性方程组求解
2.2.12 极限和不定式
2.2.13 符号导函数
2.2.14 泰勒展开
2.2.15 符号积分（不定积分和参变积分）
2.2.16 定积分公式
2.2.17 面积公式和体积公式
2.2.18 参变量函数的导数
2.2.19 三角函数和反三角函数
2.2.20 符号表达式化简
2.2.21 符号逻辑代数式化简
2.3 作为计算机语言的计算机代数语言
2.3.1 表达式
2.3.2 基本语句
2.3.3 系统函数
2.3.4 自定义函数
2.3.5 输入输出语句
2.3.6 人机界面
2.4 用于数学推理的计算机代数语言
2.4.1 控制数学推理
2.4.2 装入数学知识
2.4.3 清理推理环境
2.4.4 数学推理实例
2.5 计算机代数语言的语法
2.6 计算机代数语言的语义
2.7 计算机代数语言的编译原理要点
2.7.1 变量的编译
2.7.2 表达式的编译
2.7.3 基本语句的编译
2.7.4 代换语句的编译
2.7.5 模式匹配
2.7.6 数学问题求解函数的编译
第三章 任意长数无误差运算算法
3.1 长整数四则运算算法
3.2 长浮点数四则运算算法
3.3 长整数快速乘法算法
3.4 最大公因数和最小公倍数
3.5 整数环上丢藩图方程求解算法
3.6 孙子剩余定理
3.7 因数分解
3.8 长有理数四则运算
第四章 多项式与有理函数运算算法
4.1 多项式与长整数类比
4.2 快速离散傅里叶变换
4.3 多项式因式分解
4.3.1 多项式的无平方分解
4.3.2 改进的牛顿-Kronecker算法
4.3.3 改进的Berlekamp算法
4.4 有理函数运算
第五章 数学式化简算法
5.1 化简的观点
5.2 模式匹配法
5.3 规范化简器
5.4 代数扩域法
第六章 符号矩阵运算算法
6.1 矩阵的基本运算算法
6.2 改进的Strassen快速矩阵乘法算法
6.3 三角矩阵的逆矩阵
6.4 矩阵的LUP分解
6.5 逆矩阵和行列式
6.6 若当标准型
第七章 符号微分和符号积分
7.1 符号微分与泰勒展开
7.2 极限运算
7.3 符号积分
7.3.1 符号积分系统总框图
7.3.2 第一阶段：简单可积
7.3.3 第二阶段：分类可积
7.3.4 第三阶段：一般积分法则
7.4 有理函数积分算法
7.4.1 Hermite算法
7.4.2 Rothstein算法
7.4.3 实化定理和实化算法
7.5 参变积分
第八章 逻辑代数式算法
8.1 符号逻辑代数式
8.2 与或式
8.3 与或范式
8.4 逻辑代数恒等式证明算法
8.5 符号逻辑代数式化简算法
参考文献
名词索引
京公网安备 11010102004214号