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

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

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

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

本書介紹了變指數(shù)函數(shù)空間在偏微分方程上應用的一些最新進展,主要內(nèi)容包括:次臨界增長的-Laplace方程弱解的存在性,集中緊致性原理與臨界增長的-Laplace方程弱解的存在性,-Laplace半變分不等式問題解的存在性,具-增長的障礙問題解的存在唯一性,變指數(shù)增長的橢圓方程組解的存在性與多重性,變指數(shù)增長的拋物方程的

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

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

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

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

“理解未來系列”一套共7本，本書是其中之一。“理解未來”是未來論壇每月舉辦的免費大型科普講座，它邀請知名科學家用通俗的語言解讀*激動人心的科學進展，旨在傳播科學知識，提高大眾對科學的認知。本套叢書是精選的部分現(xiàn)場講座的文字整理，然后按照不同學科歸類分冊。 《數(shù)學思維》主要介紹數(shù)學語言、朗蘭茲綱領、黎曼