本書(shū)總結(jié)了作者近十年來(lái)在有限元逐點(diǎn)超收斂研究方面取得的重要研究成果，全書(shū)共分六章。第一章是預(yù)備知識(shí)，主要介紹一些常用的記號(hào)和導(dǎo)出本書(shū)主要結(jié)論需要用到的引理和定理。第二章介紹多維投影型插值算子和多維有限元的插值基本估計(jì)（即所謂的弱估計(jì)）。第三章介紹多維離散格林函數(shù)與多維離散導(dǎo)數(shù)格林函數(shù)及其估計(jì)，它是本書(shū)的核心內(nèi)容。第四章

在第一章中介紹Lipschitz曲線上的Fourier乘子理論，主要介紹一維無(wú)窮曲線上的Fourier乘子、奇異積分和泛函演算理論；第二章主要介紹單位圓的Lipschitz擾動(dòng)上Fourier乘子理論以及相關(guān)問(wèn)題的研究。第三章主要介紹用Clifford分析的背景知識(shí)。第四章和第五章則主要著眼于闡述利用Clifford分

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

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

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

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

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

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

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

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