非線性代數(shù)方程組與定理機器證明

定　價：￥14.00

作　者：	楊路，張景中，侯曉榮著
出版社：	上?？萍冀逃霭嫔?/td>
叢編項：	非線性科學叢書
標　簽：	非線性方程代數(shù)方程數(shù)值計算

購買這本書可以去

京東 (￥11.40)

ISBN：	9787542813794	出版時間：	1996-09-01	包裝：	精裝
開本：	20cm	頁數(shù)：	203	字數(shù)：

內容簡介

　　《非線性代數(shù)方程組與定理機器證明》是“非線性科學叢書”中的一種，介紹參系數(shù)非線性代數(shù)方程組的構造性理論和求解算法。全書計分六章，即：導論，消去法基礎。三角型方程組，一般多項式方程組，機器證明的例證法，多項式方程的判別系統(tǒng)。其中有不少內容是作者的研究成果，尤其是5次以上代數(shù)方程的判定問題，作者在書中完全解決了這一幾個世紀以來懸而未決的經(jīng)典問題?！斗蔷€性代數(shù)方程組與定理機器證明》可供理工科大學教師、高年級學生、研究生、博士后閱讀，也可供自然科學和工程技術領域中的研究人員參考。

作者簡介

暫缺《非線性代數(shù)方程組與定理機器證明》作者簡介

圖書目錄

     目錄
   非線性科學叢書出版說明
   前言
   第1章導論
    1代數(shù)方程
    2結構與計算
    3計算機與數(shù)學
    4定理機器證明
    5非線性代數(shù)方程組
    6計算機代數(shù)
   第2章消去法基礎
    7除法與整相關性
    8除法的顯式表示
    9輾轉相除法
    10結式消去法
    11聯(lián)合消去法
    12結式的某些性質
    13用低階行列式表示的結式
    14方程組與消去法
   第3章三角型方程組
    15一個例子
    16互素性
    17整相關性
    18整相關性定理的證明
    19相關性
    20應用相關性判準的幾個實例
    21相對單純分解
    22相對分解算法
    23相對單純分解的一個實例
    24非退化條件
    25解的結構
   第4章一般多項式方程組
    26一個例子
    27基本概念
    28迪克遜導出方程組
    29一般情形的迪克遜結式
    30顯式解
    31聚篩法
    32聚篩法一例：WRSOLVE
    33麥考萊商
    34麥考萊商的例
    35矩陣廣義特征值方法
    36伯恩斯坦定理
    37多元結式的一些性質
   第5章機器證明的例證法
    38概述
    39起點
    40推廣
    41幾何命題的代數(shù)化
    42構造性幾何命題
    43實例的選取和檢驗
    44例子
    45通用程序的運行實例
   第6章多項式方程的判別系統(tǒng)
    46多項式的重根
    47實根個數(shù)的經(jīng)典判定法
    48多項式的判別矩陣
    49兩個判別矩陣的關系
    50判別矩陣與斯圖姆組的關系
    51參系數(shù)多項式實根個數(shù)的顯式判定
    52例子
    53六次多項式根的分類
    54穩(wěn)定多項式
   附錄A 用MAPLE實現(xiàn)的WR程序
   附錄B 用MAPLE實現(xiàn)的GPS程序
   附錄C 用MAPLE實現(xiàn)的WRSOLVE程序
   索引
   科學家中外譯名對照表
   參考文獻