本卷收錄了吳文俊的《數(shù)學(xué)機(jī)械化》一書.本書是圍繞作者命名的“數(shù)學(xué)機(jī)械化”這一中心議題而陸續(xù)發(fā)表的一系列論文的綜述.本書試圖以構(gòu)造性與算法化的方式來研究數(shù)學(xué),使數(shù)學(xué)推理機(jī)械化以至于自動(dòng)化,由此減輕繁瑣的腦力勞動(dòng).全書分成三個(gè)部分：第一部分考慮數(shù)學(xué)機(jī)械化的發(fā)展歷史,特別強(qiáng)調(diào)在古代中國的發(fā)展歷史.第二部分給出求解多項(xiàng)式方程組

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

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

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

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

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

本書創(chuàng)造性地廣泛地運(yùn)用有向度量法和有向度量定值法，對空間有關(guān)問題進(jìn)行研究，得到了一系列的有關(guān)空間有向度量的定值定理，揭示了這些定理與經(jīng)典數(shù)學(xué)問題、數(shù)學(xué)定理和一大批數(shù)學(xué)競賽題之間的聯(lián)系，從而較為系統(tǒng)、深入地闡述了空間有向度量的基本理論、基本思想和基本方法。

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

本書講述現(xiàn)代概率論與數(shù)理統(tǒng)計(jì)所需要的基本測度論知識，包括測度的構(gòu)造、積分、乘積測度、賦號測度、Lp空間、條件概率與條件期望及Polish空間上的概率測度等．

本書主要在《關(guān)于全面深化新時(shí)代教師隊(duì)伍建設(shè)改革的意見》（中發(fā)〔2018〕4號）中對教師素質(zhì)的要求、中國學(xué)生核心素養(yǎng)（三維六方面十八要點(diǎn)）要求、師范專業(yè)認(rèn)證、教師資格國考等背景下，對新時(shí)代數(shù)學(xué)專業(yè)師范生職前職后數(shù)學(xué)學(xué)科素質(zhì)培養(yǎng)進(jìn)行了研究。該書主要對素質(zhì)、素養(yǎng)、教師素質(zhì)、教師素養(yǎng)、核心素養(yǎng)等概念進(jìn)行了闡述，對數(shù)學(xué)學(xué)科核心素