简介
《仿射括号代数理论算法与应用》介绍了括号代数的基本理论、仿射括号代数的相关定义与定理以及用于表示的一些相关技术，并在此基础上给出了一些相应的算法，同时附有系统实现的主算法、系统实现的的相关细节以及Maplc程序的缡制技术。
目录
前言
第1章 引言
1.1 括号代数发展及应用
1.2 自动证明与括号代数的应用
1.3 本书的内容结构与符号约定
1.3.1 内容结构
1.3.2 符号约定
第2章 括号代数、仿射括号代数、整除性
2.1 射影几何、括号代数与Grassmann-cayley代数
2.2 仿射括号代数及其合冲理想
2.3 括号代数、仿射括号代数的整除性理论
第3章 表示、构造和消元
3.1 引言
3.2 Incidence部分的表示、构造与消元
3.3 仿射二次曲线的仿射括号代数表示
3.3.1 相关抛物线的仿射括号代数表示
3.3.2 相关椭圆的仿射括号代数表示
3.3.3 相关双曲线的仿射括号代数表示
3.4 仿射二次曲线的构造与消元
第4章 算法理论
4.1 引言
4.2 交换算法
4.3 括号结构与σ结构
4.4 仿射括号代数算法的其他问题
4.4.1 规则形式与计算序
4.4.2 一些常用的公式及其扩展
4.4.3 多项式聚类
4.5 相关算法
4.5.1 算法1：交换算法
4.5.2 算法2：收缩算法
4.5.3 算法3：GCD提取算法
4.5.4 算法4：因式分解
4.5.5 主算法1：自动证明
4.5.6 主算法2：带有目的性的自动推理
4.5.7 主算法3：自动推理
第5章 自动证明应用与实现
5.1 消元顺序
5.2 系统说明与具体实现
5.3 程序的输入与输出
5.4 关键运算的Maple代码
5.5 例子与说明
5.5.1 incidence例子
5.5.2 抛物线例子
5.5.3 椭圆例子
5.5.4 双曲线例子
参考文献
第1章 引言
1.1 括号代数发展及应用
1.2 自动证明与括号代数的应用
1.3 本书的内容结构与符号约定
1.3.1 内容结构
1.3.2 符号约定
第2章 括号代数、仿射括号代数、整除性
2.1 射影几何、括号代数与Grassmann-cayley代数
2.2 仿射括号代数及其合冲理想
2.3 括号代数、仿射括号代数的整除性理论
第3章 表示、构造和消元
3.1 引言
3.2 Incidence部分的表示、构造与消元
3.3 仿射二次曲线的仿射括号代数表示
3.3.1 相关抛物线的仿射括号代数表示
3.3.2 相关椭圆的仿射括号代数表示
3.3.3 相关双曲线的仿射括号代数表示
3.4 仿射二次曲线的构造与消元
第4章 算法理论
4.1 引言
4.2 交换算法
4.3 括号结构与σ结构
4.4 仿射括号代数算法的其他问题
4.4.1 规则形式与计算序
4.4.2 一些常用的公式及其扩展
4.4.3 多项式聚类
4.5 相关算法
4.5.1 算法1：交换算法
4.5.2 算法2：收缩算法
4.5.3 算法3：GCD提取算法
4.5.4 算法4：因式分解
4.5.5 主算法1：自动证明
4.5.6 主算法2：带有目的性的自动推理
4.5.7 主算法3：自动推理
第5章 自动证明应用与实现
5.1 消元顺序
5.2 系统说明与具体实现
5.3 程序的输入与输出
5.4 关键运算的Maple代码
5.5 例子与说明
5.5.1 incidence例子
5.5.2 抛物线例子
5.5.3 椭圆例子
5.5.4 双曲线例子
参考文献
仿射括号代数理论算法与应用
- 名称
- 类型
- 大小
光盘服务联系方式: 020-38250260 客服QQ：4006604884
云图客服：
用户发送的提问，这种方式就需要有位在线客服来回答用户的问题，这种 就属于对话式的,问题是这种提问是否需要用户登录才能提问
Video Player
×
Audio Player
×
pdf Player
×
