本卷收錄了吳文俊的MechanicalTheoremProvinginGeometries:BasicPrinciples一書.書中論述初等幾何機器證明的基本原理,證明了奠基于各種公理系統(tǒng)的各種初等幾何,只需相當(dāng)于乘法交換律的某一公理成立,大都可以機械化.因此在理論上,這些幾何的定理證明可以借肋于計算機來實施.可以機械

本卷收錄了吳文俊的《幾何定理機器證明的基本原理》一書.書中論述初等幾何機器證明的基本原理,證明了奠基于各種公理系統(tǒng)的各種初等幾何,只需相當(dāng)于乘法交換律的某一公理成立,大都可以機械化.因此在理論上,這些幾何的定理證明可以借肋于計算機來實施.可以機械化的幾何包括了多種有序或無序的常用幾何、投影幾何、非歐幾何與圓幾何等.全書

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

本書收錄吳文俊發(fā)表的愽弈論、代數(shù)幾何和圖的平面嵌入等三個方面的論文�！蛾P(guān)于愽弈理論基本定理的一個注記》是中國博弈論研究的開山之作�！痘顒邮芟拗频姆菂f(xié)作對策》等兩篇論文則包含了吳文俊對博弈論最重要的貢獻(xiàn)──本質(zhì)均衡概念的提出及其存在性證明。本質(zhì)均衡是一類特殊的納什均衡，吳文俊是能在早期就認(rèn)識納什理論的深刻意義并率先作出有

本卷收錄了吳文俊的ATheoryofImbedding,Immersion,andIsotopyofPolytopesinaEuclideanSpace一書.一個空間嵌入另一空間(例如歐氏空間)是否可能以及這些嵌入所依據(jù)的同痕的分類問題,已成為拓?fù)鋵W(xué)中重要的中心問題之一,也是許多拓?fù)鋵W(xué)家從各種不同角度用各種不同方法研究

本書介紹了國際上許多研究工作者在齊性Siegel域方面的工作，并且詳細(xì)介紹了作者多年來在齊性Siegel域方面的研究成果，同時提出了若干尚未解決的問題.本書主要內(nèi)容包括:Siegel域，齊性siegel域，正規(guī)Siegel域，對稱正規(guī)siegel域等的性質(zhì)，以及典型siegel域的全純自同構(gòu)群，典型siegel域的Ca

本書系統(tǒng)地總結(jié)了近20年來國內(nèi)外關(guān)于亞純函數(shù)唯一性理論的研究工作。主要內(nèi)容為Nevanlinna基本理論、零級和有窮非整數(shù)級亞純函數(shù)的唯一性、五值定理、重值與唯一性、四值定理及其改進(jìn)、各種類型的三值定理、二值定理和一值定理，涉及到導(dǎo)數(shù)的唯一性以及具有公共值集的唯一性等。

本書旨在引導(dǎo)學(xué)生掌握數(shù)學(xué)實踐與建模，以培養(yǎng)學(xué)生數(shù)學(xué)能力（實踐能力、創(chuàng)新能力等），同時也旨在將數(shù)學(xué)工具軟件與數(shù)學(xué)深度融合。本書是在華北水利水電大學(xué)數(shù)學(xué)實踐與建模講義的基礎(chǔ)上修改而成，內(nèi)容包括MATLAB簡介及其應(yīng)用、數(shù)學(xué)建模與論文寫作、數(shù)學(xué)實踐案例、幾類常見的數(shù)學(xué)建模方法、智能算法。在內(nèi)容編排上，本書精選來自工程、經(jīng)濟、

按著考研數(shù)學(xué)大綱的要求，涵蓋了考研數(shù)學(xué)大綱的所有知識點，以歷年考研數(shù)學(xué)真題中所有典型題目及分析詳解為主線，包含典型方法的歸類總結(jié)，重要和常用技巧的運用，考生易錯的地方也重點強調(diào)指出，包含重點題型的考研預(yù)測。對廣大考生不熟悉的內(nèi)容也分物理應(yīng)用和經(jīng)濟學(xué)應(yīng)用，幾何應(yīng)用進(jìn)行講解。可以說，本書是近年來，考研數(shù)學(xué)輔導(dǎo)書中，內(nèi)容最全

自然主義作為當(dāng)代分析哲學(xué)的主流思潮，在數(shù)學(xué)哲學(xué)中影響巨大。然而從相似的自然主義原則出發(fā)，不同的數(shù)學(xué)哲學(xué)家卻就數(shù)學(xué)的本性得出了十分不同的意見，從實在論到唯名論，再到本體論取消主義，自然主義在數(shù)學(xué)哲學(xué)中表現(xiàn)出極端的分歧性。本書站在自然主義內(nèi)部，對這些形形色色的數(shù)學(xué)自然主義進(jìn)行了深度評述，包括分析和反駁蒯因的不可或缺性論證、