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

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

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

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

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

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

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

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

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

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