机械化数学引论PDF电子书下载
- 电子书积分:10 积分如何计算积分?
- 作 者:石赫著
- 出 版 社:长沙:湖南教育出版社
- 出版年份:1998
- ISBN:7535526055
- 页数:225 页
图书介绍:
上一篇:线性代数通用辅导讲义下一篇:不确定理论教程
《机械化数学引论》目录
第一章 代数预备知识 1
§1.1 数域的概念 1
§1.2 多项式环 5
§1.3 比域和扩域 13
§1.4 多元多项式环 18
第二章 代数方程组求解 23
§2.1 多项式方程组的零点集 25
§2.2 余式公式 29
§2.3 多项式组的特征列 33
§2.4 基本定理的证明 38
§2.5 零点定理 44
第三章 代数几何的构造性研究 50
§3.1 不可约升列 51
§3.2 代数簇的母点 59
§3.3 代数簇的不可约分解 67
§3.4 代数簇的维数 70
第四章 几何定理机器证明 77
§4.1 几何问题的代数化 78
§4.2 机器证明的吴文俊原理 83
§4.3 初等几何定理的机器证明 87
§4.4 自动推理的代数化 96
§4.5 有限几何定理的机器证明 102
第五章 吴消元法应用举例 106
§5.1 杨振宁—柏克斯特方程求解 108
§5.2 线性控制系统的极点配置 127
§5.3 一类发展方程的行波解 143
§5.4 三次微分系统极限环研究 152
§5.5 平面星体运动的中心构型 162
附录一 MAPLE环境下的WSOLVE 176
附录二 定理5.1.5的证明 206
参考文献 215
相关图书
- 《MBA大师.2020年MBAMPAMPAcc管理类联考专用辅导教材 数学考点精讲》(中国)董璞 2019
- 《2013数学奥林匹克试题集锦 走向IMO》2013年IMO中国国家集训队教练组编 2013
- 《一个数学家的辩白》(英)哈代(G.H.Hardy)著;李文林,戴宗铎,高嵘译 2019
- 《高等数学试题与详解》西安电子科技大学高等数学教学团队 2019
- 《数学物理方法与仿真 第3版》杨华军 2020
- 《高等教育双机械基础课程系列教材 高等学校教材 机械设计课程设计手册 第5版》吴宗泽,罗圣国,高志,李威 2018
- 《高等数学 上》东华大学应用数学系编 2019
- 《聋校义务教育实验教科书教师教学用书 数学 一年级 上》人民教育出版社,课程教材研究所,小学数学课程教材研究中心编著 2017
- 《AutoCAD机械设计实例精解 2019中文版》北京兆迪科技有限公司编著 2019
- 《离散数学》(中国)杨文国,高华,石莹 2019
作者其它书籍
出版社其它书籍
- 《培智学校义务教育实验教科书教师教学用书 生活适应 二年级 上》人民教育出版社,课程教材研究所,特殊教育课程教材研究中心编著 2019
- 《习近平总书记教育重要论述讲义》本书编写组 2020
- 《办好人民满意的教育 全国教育满意度调查报告》(中国)中国教育科学研究院 2019
- 《教育学考研应试宝典》徐影主编 2019
- 《语文教育教学实践探索》陈德收 2018
- 《家庭音乐素养教育》刘畅 2018
- 《学前教育学》王换成主编 2019
- 《近代体育游戏教育史料汇编 第1辑 1》王强主编 2016
- 《全国学前教育专业(新课程标准)“十三五”规划教材 简谱手风琴教程 第2版》(中国)杨克勤,王宝庆 2019
- 《现代教育技术》李志河主编 2019