《機械化數學引論》是1998年湖南教育出版社出版的圖書，作者是石赫。
基本介紹
- 書名：機械化數學引論
- 作者：石赫
- ISBN：10位[7535526055]13位[9787535526052]
- 定價：￥10.00元
- 出版社：湖南教育出版社
- 出版時間：1998年
內容提要,編輯推薦,目錄,
內容提要
數學機械化研究的興趣，是當代數學科學發展的趨勢。本書分五章系統地、深入淺出地介紹了吳文俊先生在機械化數學研究中的學術創造，包括代數方程組求解和數學定理機器證明的基本原理和方法。書中還介紹了若干實例，以加深對這些原理和方法的理解。
本書以教材的形式編寫，可做為大學數學第高年級及研究生的教材，也是有關科學工作者較適宜的參考書。
編輯推薦
本書以教材的形式編寫，可做為大學數學第高年級及研究生的教材，也是有關科學工作者較適宜的參考書。
目錄
引言 關於數學機械化
第一章 代數預備知識
1.1 數域的概念
1.2 多項式環
1.3 比域和擴域
1.4 多元多項式環
第二章 代數方程組求解
2.1 多項式方程組的零點集
2.2 餘式公式
2.3 多項式組的特徵列
2.4 基本定理的證明
2.5 零點定理
第三章 代數幾何的構造性研究
3.1 不可約升列
3.2 代數簇的母點
3.3 代數簇的不可約分解
3.4 代數簇的維數
第四章 幾何定理機器證明
4.1 幾何問題的代數化
4.2 機器證明的吳文俊原理
4.3 初等幾何定理的機器證明
4.4 自動推理的代數化
4.5 有限幾何定理的機器證明
第五章 吳肖元法套用舉例
5.1 楊振寧----柏克斯特方程求解
5.2 線性控制系統的極點配置
5.3 一類發展方程的行波解
5.4 三次微分系統極限環研究
5.5 平面星體運動的中心構型
附錄一 MAPLE環境下的WSOLVE
附錄二 定理5.1.5的證明
參考文獻
