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

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

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

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

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

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

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

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

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

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