本卷收錄了吳文俊的MathematicsMechanization:MechanicalGeometryTheorem-Proving,MechanicalGeometryProblem-SolvingandPolynomialEquations-Solving一書.本書是圍繞作者命名的數(shù)學(xué)機械化這一中心議題而

本卷收錄由法國Hermann&Cie出版社出版的吳文俊的博士論文SurlesClassesCaractéristiquesdesStructuresFibréesSphériques（《論球叢結(jié)構(gòu)的示性類》）與Springer出版的RationalHomotopyTyp

無

本書是針對成立社主編的《微積分》（經(jīng)管類）（科學(xué)出版社，2017年6月出版）教材編寫的專門配套的輔導(dǎo)書。本書針對經(jīng)管類專業(yè)學(xué)生的數(shù)學(xué)基礎(chǔ)，詳盡解答了教材中全部的習(xí)題，并給出詳細的分析和點撥，對于某些習(xí)題解答還給出了一些注解和總結(jié)，對某些題目涉及的內(nèi)容進行適當(dāng)?shù)难油兀�以幫助學(xué)生理解概念、定理，培養(yǎng)解題能力，提高學(xué)習(xí)效果。

本書介紹蒙特卡羅方法及其應(yīng)用，方法發(fā)展歷史、基本原理及誤差理論，隨機數(shù)產(chǎn)生，各種抽樣算法及誤差估計，多種常用降方差技巧等。玻爾茲曼方程的隨機模擬，粒子與原子核相互作用，截面參數(shù)制作與檢驗，通量的多種估計方法。討論了穩(wěn)態(tài)系統(tǒng)keff本征值和與時間相關(guān)的本征值的計算方法；深穿透屏蔽問題的計算策略；蒙特卡羅方法與確定論方法耦

本書以作者團隊多年在電磁場理論及數(shù)值計算方法方面的科研成果為基礎(chǔ)，結(jié)合實際的工程問題介紹準靜態(tài)電磁場的若干數(shù)值計算方法。第1章為全書的理論基礎(chǔ)，介紹準靜態(tài)定律、導(dǎo)電媒質(zhì)中的電場、磁準靜態(tài)場、電磁擴散、電磁能等內(nèi)容。第2～5章針對電準靜態(tài)場的數(shù)值計算方法，分別介紹極性反轉(zhuǎn)瞬態(tài)電場的標量電位有限元法、極性反轉(zhuǎn)電場的節(jié)點電荷

本書介紹了苯選擇加氫制環(huán)己烯及其下游產(chǎn)品催化技術(shù)，綜述了國內(nèi)外苯選擇加氫催化技術(shù)發(fā)展歷史與現(xiàn)狀，總結(jié)了我國在該技術(shù)領(lǐng)域研究進展；探討了苯選擇加氫熱力學(xué)和多相催化動力學(xué)、催化機理和科學(xué)本質(zhì)；介紹了鄭州大學(xué)開發(fā)的四代催化劑制備技術(shù)、活性選擇性調(diào)變、失活與再生和苯選擇加氫制環(huán)己烯及其下游產(chǎn)品催化工藝、關(guān)鍵設(shè)備和成套裝置。

本書收載了吳文俊的全部數(shù)學(xué)史論著，包括作者的第一篇數(shù)學(xué)史論文《中國古代數(shù)學(xué)對世界文化的偉大貢獻》、被引用頻率最高的數(shù)學(xué)史論文之一《出入相補原理》、在國際數(shù)學(xué)家大會上的邀請報告等。這些論著一個貫串始終的主題，是關(guān)于數(shù)學(xué)發(fā)展的兩種主流的觀點：以希臘數(shù)學(xué)為代表的演繹式數(shù)學(xué)和以中國古代數(shù)學(xué)為代表的算法式數(shù)學(xué)；它開啟了中國數(shù)學(xué)史

本書主要介紹了晶體生長技術(shù)及相關(guān)晶體缺陷，結(jié)合計算流體力學(xué)數(shù)值模擬和實驗研究，系統(tǒng)的從熱流體輸運、化學(xué)反應(yīng)等方面闡明了晶體生長技術(shù)的要點和優(yōu)化方法。為了讀者更系統(tǒng)的了解晶體缺陷的理論和研究方法，本書也詳細介紹了分子動力學(xué)和第一性原理的研究策略，并應(yīng)用于晶體缺陷的研究。本書的研究涵蓋了宏觀和微觀的研究方法和理論，把傳統(tǒng)的

本書系統(tǒng)地介紹了流體介質(zhì)中聲波的激發(fā)、傳播和接收的基本原理和分析方法。主要內(nèi)容包括：理想流體中聲波的基本性質(zhì)；聲波的輻射、散射和衍射；管道和腔體中的聲場；非理想介質(zhì)中的聲波；層狀和運動介質(zhì)中的聲傳播；以及有限振幅聲波的傳播及其物理效應(yīng)。

周叔子教授在國內(nèi)外學(xué)術(shù)刊物上所發(fā)表的主要論文選編，周叔子教授學(xué)術(shù)成果精選。包括發(fā)表于SIAMJournalonNumericalAnalysis國際著名計算數(shù)學(xué)刊物的論文，周叔子教授在微分方程和變分不等式等問題的有限元方法，多網(wǎng)格方法以及區(qū)域分解法等方面。最優(yōu)化問題和非線性方程組等問題數(shù)值解法的注意研究成果，所有文均已

本書以微棲、對偶為基本點，跨越光學(xué)效應(yīng)、跨越介質(zhì)張量及其逆、跨越波法線和光線傳播模式，在線性光學(xué)范圍內(nèi)闡述光學(xué)效應(yīng)對偶統(tǒng)一理論。涉及微量運算、坐標體系、微棲張量、電場矢量、本征方程、瓊斯方程等內(nèi)容；提出了感應(yīng)不均勻介質(zhì)及其瓊斯矩陣和標幺張量等新概念、模型和方法。作為理論的應(yīng)用，論述了電光效應(yīng)、旋光效應(yīng)。

本書全面系統(tǒng)的敘述了木質(zhì)素的基礎(chǔ)知識以及木質(zhì)素復(fù)合材料、改性材料及納米材料的發(fā)展過程和近年來的研究進展。本書不僅包含了木質(zhì)素的存在形式、結(jié)構(gòu)性質(zhì)、分離檢測，也詳細介紹了不同形式的功能木質(zhì)素材料的制備方法、最新且具代表性的研究工作。

Navier-Stokes(N-S)方程是一種典型的非線性方程，其研究對人們認識和控制湍流至關(guān)重要.我們主要利用有限元方法求解不可壓縮N-S方程，并考慮如下幾個方面的問題：較大雷諾數(shù)問題、不可壓縮條件、非結(jié)構(gòu)化網(wǎng)格、inf-sup條件和非線性問題.本文主要圍繞這些問題提出并實現(xiàn)不可壓縮流若干高效數(shù)值方法.

本教材是學(xué)習(xí)泛函分析課程的一本入門教材，是針對中國學(xué)生編寫的一本英文教材，在選材上吸收了國外的優(yōu)秀本科生教材的一些精華；在編寫上考慮了與中國學(xué)生所具備的基礎(chǔ)知識銜接性，在充分地反映泛函分析中的核心內(nèi)容的前提下，突出重點；在內(nèi)容的處理上，體現(xiàn)了由淺入深，循序漸進的原則，用大量的例題對度量空間、賦范線性空間、線性算子與線性

在Maslov型指標理論的基礎(chǔ)上，此書系統(tǒng)介紹近年來的指標理論一些新的發(fā)展。Maslov型指標理論適合于研究閉弦理論（周期解），近幾年，開弦理論得到了很大的發(fā)展，此專著所介紹的指標理論適合于研究開弦理論。最典型的開弦有兩種，其一是在辛流形中以拉格朗日子流形為邊值的哈密頓系統(tǒng)，例如著名的閘軌道問題（Seifert猜測）。

辛幾何是近幾十年發(fā)展起來的新的重要數(shù)學(xué)分支。本書是辛幾何（新流形）的入門性讀物。。全書分為六章，分別是代數(shù)基礎(chǔ)、新流形、余切叢、辛G-空間、Poisson流形、一個分級情形。前三章是重要的基本概念，后三章論述有關(guān)的應(yīng)用。

本書介紹偏Hopf作用的表示、偏纏繞結(jié)構(gòu)，偏Doi-Hopf群模、以及積分的基本概念和理論，重點討論這些模上的Maschke定理、可分函子、Frobenius性質(zhì)及其應(yīng)用等。本書內(nèi)容由淺入深，既有理論又有新的應(yīng)用，反映了近10年來偏Hopf作用理論研究的最新成果。

內(nèi)容涉及正倒向隨機微分方程最優(yōu)/次優(yōu)控制系統(tǒng)研究，分兩部分：第一，動態(tài)規(guī)劃原理，我們推導(dǎo)出Hamilton-Jacobi-BellmanInequality,此項研究是深入菲爾茨獎得主，法國數(shù)學(xué)家P.-L.Lions教授提出的用粘性解理論研究導(dǎo)數(shù)有約束的偏微分方程的問題。同時給出在粘性解意義下，隨機遞歸系統(tǒng)的最優(yōu)控制驗

群論部分著重講授"群在集合上的作用"這一基本工具，側(cè)重"從抽象到具體"的思想的轉(zhuǎn)化，重點是引入代數(shù)學(xué)的計算工具MAGMA，輔助學(xué)生的學(xué)習(xí)和研究抽象的代數(shù)對象。環(huán)論部分著重交換環(huán)、素理想、局部化思想和多項式環(huán)；以對稱多項式的結(jié)構(gòu)定理為起點，讓學(xué)生對"代數(shù)不變量理論"（交換代數(shù)的經(jīng)典主題之一）有初步的認識；同時，MAGMA