- 作 者：张宁著
- 出 版 社：北京：知识产权出版社
- 出版年份：2008
- ISBN：9787802473096
- 标注页数：169 页
- PDF页数：179 页
请阅读订购服务说明与试读!
订购服务说明
1、本站所有的书默认都是PDF格式，该格式图书只能阅读和打印，不能再次编辑。
2、除分上下册或者多册的情况下，一般PDF页数一定要大于标注页数才建议下单购买。【本资源179 ≥169页】
图书下载及付费说明
1、所有的电子图书为PDF格式，支持电脑、手机、平板等各类电子设备阅读；可以任意拷贝文件到不同的阅读设备里进行阅读。
2、电子图书在提交订单后一般半小时内处理完成,最晚48小时内处理完成。(非工作日购买会延迟)
3、所有的电子图书都是原书直接扫描方式制作而成。
第1章 引言 1
1.1 括号代数发展及应用 1
1.2 自动证明与括号代数的应用 5
1.3 本书的内容结构与符号约定 8
1.3.1 内容结构 8
1.3.2 符号约定 10
第2章 括号代数、仿射括号代数、整除性 12
2.1 射影几何、括号代数与Grassmann-Cayley代数 12
2.2 仿射括号代数及其合冲理想 22
2.3 括号代数、仿射括号代数的整除性理论 26
第3章 表示、构造和消元 41
3.1 引言 41
3.2 Incidence部分的表示、构造与消元 42
3.3 仿射二次曲线的仿射括号代数表示 50
3.3.1 相关抛物线的仿射括号代数表示 53
3.3.2 相关椭圆的仿射括号代数表示 57
3.3.3 相关双曲线的仿射括号代数表示 59
3.4 仿射二次曲线的构造与消元 64
第4章 算法理论 70
4.1 引言 70
4.2 交换算法 73
4.3 括号结构与σ结构 77
4.4 仿射括号代数算法的其他问题 80
4.4.1 规则形式与计算序 80
4.4.2 一些常用的公式及其扩展 83
4.4.3 多项式聚类 85
4.5 相关算法 87
4.5.1 算法1：交换算法 87
4.5.2 算法2：收缩算法 88
4.5.3 算法3：GCD提取算法 90
4.5.4 算法4：因式分解 91
4.5.5 主算法1：自动证明 91
4.5.6 主算法2：带有目的性的自动推理 92
4.5.7 主算法3：自动推理 93
第5章 自动证明应用与实现 95
5.1 消元顺序 95
5.2 系统说明与具体实现 100
5.3 程序的输入与输出 104
5.4 关键运算的Maple代码 107
5.5 例子与说明 126
5.5.1 incidence例子 127
5.5.2 抛物线例子 136
5.5.3 椭圆例子 142
5.5.4 双曲线例子 151
参考文献 159