本書是圍繞作者命名的"數(shù)學機械化"這一中心議題而陸續(xù)發(fā)表的一系列論文的綜述。本書試圖以構(gòu)造性與算法化的方式來研究數(shù)學，使數(shù)學推理機械化以至于自動化，由此減輕繁瑣的腦力勞動。《BR》全書分成三個部分g*部分考慮數(shù)學機械化的發(fā)展歷史，特別強調(diào)在古代中國的發(fā)展歷史。第二部分給出求解多項式方程組所依據(jù)的基本原理與特征列方法。作

高維信息幾何與幾何不變量

本書是作者根據(jù)多年教學經(jīng)驗，結(jié)合*版教學應(yīng)用中出現(xiàn)的情況，以及這些年與課程內(nèi)容有關(guān)的應(yīng)用理論方面的發(fā)展情況，總結(jié)修改而成的作者在介紹近世代數(shù)課程的傳統(tǒng)內(nèi)容時，從以下幾個方面進行了深入淺出的講解，引人了泛代數(shù)研究的基本思想內(nèi)容;較深入地介紹群、環(huán)的思想和內(nèi)容，簡單介紹了格論的思想內(nèi)容;同時還指出了所介紹的幾種代數(shù)結(jié)構(gòu)的一

面向后件集的模糊推理機制是在模糊集合相互關(guān)聯(lián)的環(huán)境下進行的，可以捕獲到規(guī)則中更多的模糊信息，克服了傳統(tǒng)模糊推理會丟失前件集與后件集相關(guān)性信息的缺陷，推理結(jié)果更加合理。本書詳細介紹了面向后件集的模糊推理機制及其應(yīng)用，包括在Type-1模糊邏輯系統(tǒng)、區(qū)間型Type-2模糊邏輯系統(tǒng)和一般型Type-2模糊邏輯系統(tǒng)中的應(yīng)用，以

本書*章為條件的符號記法，一個條件是給定代數(shù)簇中子簇的某種等價類，引進了條件的乘法和加法運算，這是Schubert的獨創(chuàng)。第二章為關(guān)聯(lián)公式，由直線和其上的一點、平面和其上的一點或一直線組成的幾何形體稱為關(guān)聯(lián)體，本章給出了關(guān)聯(lián)體上各種條件之間關(guān)系的公式及其應(yīng)用。第三章為疊合公式，用現(xiàn)代術(shù)語來說，疊合公式就是把乘積空間沿對

本書針對應(yīng)用科學中的11個重要的非線性發(fā)展方程，介紹差分求解方法的**研究成果，包括微分方程問題解的守恒性和有界性分析、差分方法的建立、差分解的守恒性和有界性分析、差分解的存在性分析、差分解收斂性的證明、差分格式的求解等內(nèi)容。建立的差分求解格式包括非線性差分格式和線性化差分格式。這11個非線性發(fā)展方程如下：Burger

本書主要討論了Banach代數(shù)上元素線性組合的廣義Drazin逆、算子分塊矩陣的廣義Drazin逆和廣義Drazin逆的擾動問題等。

本書主要介紹不確定決策系統(tǒng)中的平衡度量理論、靜態(tài)與兩階段動態(tài)平衡優(yōu)化方法及其應(yīng)用。在平衡度量理論中，介紹平衡度量的構(gòu)造方法，引入平衡均值和風險值等優(yōu)化指標，討論基于平衡度量的收斂模式等。在靜態(tài)平衡優(yōu)化方法方面，引入評價函數(shù)來評估決策向量的優(yōu)劣；依據(jù)所選擇的評價函數(shù)，建立各種不同的靜態(tài)優(yōu)化模型。在動態(tài)平衡優(yōu)化方法方面，介

本書是教材《線性代數(shù)（第五版）》的配套用書，旨在幫助學生自學以及方便教材教學，本書的章節(jié)安排與教材相同，內(nèi)容主要包括各節(jié)的學習要點、學習疑難點、典型例題解析及教材習題的解答。

本教材在結(jié)合教指委基本要求的基礎(chǔ)上，選擇合適的教學內(nèi)容和組織順序，能夠適用于普通本科教學，注重經(jīng)濟學案例的使用，強調(diào)經(jīng)濟問題的應(yīng)用，體現(xiàn)出經(jīng)濟數(shù)學的“經(jīng)濟”特色。內(nèi)容包含定積分、多元函數(shù)微積分、無窮級數(shù)、微分方程以及差分方程等知識。習題將按節(jié)設(shè)計，以提高題、綜合題為主，適于學生平時練習考試及考研。

本書是教材《微積分（第四版）》的配套用書，是《<微積分（第四版）>學習參考》的縮編本，旨在幫助學生自學以及方便教材教學，本書的章節(jié)安排與教材相同，內(nèi)容主要包括教材習題的解答與注釋。

本書分上、下兩冊.本冊系統(tǒng)地講述了線性泛函分析的基本思想和理論,分五章:距離線性空間與賦范線性空間；Banach空間上的有界線性算子；自反空間、共軛算子與算子譜理論；Hilbert空間上的有界線性算子以及廣義函數(shù)論簡介.本冊注重講述空間和算子的一般理論,取材既有基礎(chǔ)的部分又有深刻的部分,讀者可以根據(jù)需要進行適當?shù)倪x擇.

我國著名數(shù)學家廖山濤教授曾因微分動力學等領(lǐng)域研究的貢獻獲首屆第三世界科學院數(shù)學獎本書收集他在1963-1984年間在微分動力系統(tǒng))方面有代表性的學術(shù)論文人篇，并按投稿的時間順序編輯成書�！禕R》本書系統(tǒng)介紹“典范方程組”和“阻礙集”兩個基本概念的由來，并詳細論述它們的重要性質(zhì)及其在穩(wěn)定性問題上的應(yīng)用。

本書是多復變函數(shù)論方面的入門書，著重介紹多復變數(shù)的解析函數(shù)、正交系與核函數(shù)、解析映照、零點與奇異點等方面的基本結(jié)果及存在的主要問題。這些問題有的已獲得一些結(jié)果，有的尚待進一步研究。

不確定性原理在數(shù)學理論和信號處理中都具有重要的應(yīng)用，它是壓縮感知理論的基礎(chǔ)。經(jīng)典的不確定性原理有定量和定性兩種刻畫形式，其中定量刻畫的一組定理中最精確的一個結(jié)果是Beurling定理。本書將經(jīng)典的Beurling定理推廣到非交換背景下，例如海森伯群、Laguerre超群、調(diào)和NA群以及Jacobi變換等。通過閱讀本書，

本書始于實數(shù)的基本理論.接著進入一元微積分學，包括極限、連續(xù)、級數(shù)、微分、復數(shù)、積分等，重視它對現(xiàn)代數(shù)學的啟迪，適時介紹些抽象概念(如對基的極限)，以益于拓展到一般分析學回其次探討拓撲空間(特別是度量空間、歐氏空間Rn)的映射，展開多元微積分學，其中涉及隱函數(shù)定理、集合上的積分、流形(特別是Rn中的曲面)及微分形式、流

本書專門研究具有廣泛應(yīng)用背景的非負矩陣、M矩陣、H矩陣等特殊矩陣類及其應(yīng)用。全書共分七章，詳細闡述了幾類特殊矩陣的性質(zhì)和判定方法，內(nèi)容包括非負矩陣的Perron-Frobenius理論和逆特征值問題、M矩陣和H矩陣的結(jié)構(gòu)、性質(zhì)和判定方法、逆M矩陣的組合性質(zhì)、隨機矩陣和穩(wěn)定矩陣的基本性質(zhì)，以及特殊矩陣類的非線性推廣和若干

本書以Hilbert空間中線性算子數(shù)值域以及相關(guān)問題為主線,對線性算子數(shù)值域基本性質(zhì)以及應(yīng)用進行闡述.本書的內(nèi)容框架如下:第1章主要介紹Hilbert空間中線性算子數(shù)值域.第2章主要介紹Hilbert空間中有界線性算子數(shù)值半徑.第3章主要介紹Hilbert空間中一些特殊算子的數(shù)值域.第4章主要介紹由Hilbert空間中

基礎(chǔ)拓撲學是數(shù)學的重要分支,內(nèi)容豐富且應(yīng)用面廣.本書以點集拓撲學為基礎(chǔ),通過對一般拓撲學、測度論、拓撲向量空間、拓撲群及拓撲動力系統(tǒng)的一些專題進行論述，向讀者簡要介紹拓撲學中的一些基本知識、研究思想以及解決問題的方法，以較少的篇幅展現(xiàn)拓撲學中的一些主要內(nèi)容.本書主要內(nèi)容包括：集合與序集、可測映射與可測空間、拓撲空間、幾

本書是對作者近幾年取得的有關(guān)群組評價方面的研究成果進行的系統(tǒng)整理與歸類。全書共九章內(nèi)容，可分為三塊：第一塊為子群評價研究的理論基礎(chǔ)，包含第一章至第三章，主要講述子群評價的研究背景、理論前提與子群的劃分；第二塊為共識度的測算，包含第四章和第五章，主要闡述如何從評價結(jié)果和評價過程兩個角度測算子群評價意見的共識度；第三塊為群