《仿射括号代数理论算法与应用》适用于高等院校数学系、计算机系的自动推理、不变量应用等专业的高年级本科生及研究生阅读。 |
张宁男，1978年生，辽宁朝阳人。2006年毕业于中国科学院数学院，获博士学位，现任中央财经大学中国精算研究院专职研究人员。在《中国科学》等杂志上发表论文数篇，部分论文被SCl／EI索引。研究方向为 经济学中的基础数学理论、金融保险中的模拟方法及最忧策略等。讲授的课程为：风险统计模型、破产理论等。 .. << 查看详细 |
前言 第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 双曲线例子 参考文献 |
内容加载中，请稍后...
商品评论（0条）