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

本書內(nèi)容包括：吳文俊的生平、成就與獲得的獎勵的介紹，陳省身、楊振寧、丘成桐、Jean-PierreBourguignon等76位吳文俊生前同事、學(xué)生以及家屬的回憶、紀(jì)念與緬懷的文章，以及22篇關(guān)于吳文俊的新聞報道。這些文章全面介紹了吳文俊先生在拓?fù)鋵W(xué)、數(shù)學(xué)機械化、中國古代數(shù)學(xué)史等方向取得的成就，吳文俊先生的學(xué)術(shù)思想與治

本卷收錄了吳文俊的《可剖形在歐氏空間中的實現(xiàn)問題》一書.一個空間嵌入另一空間(例如歐氏空間)是否可能以及這些嵌入所依據(jù)的同痕的分類問題,已成為拓?fù)鋵W(xué)中重要的中心問題之一,也是許多拓?fù)鋵W(xué)家從各種不同角度用各種不同方法研究的對象之一.本書是作者從1954年以來在這方面研究工作的一個總結(jié)報告,它的方法在于研究空間的去核p重積

本書介紹了數(shù)學(xué)分析的基本概念、基本理論和方法，包括一元~(多元)函數(shù)極限理論和一元函數(shù)微積分學(xué)、級數(shù)理論和多元函數(shù)微積分學(xué)等。本書在內(nèi)容的安排上，深入淺出，表達(dá)清楚，系統(tǒng)性和邏輯性強。書中列舉了大量例題來說明數(shù)學(xué)分析的定義和定理及方法，并提供了豐富的思考題和習(xí)題，便于教師教學(xué)與學(xué)生自學(xué)。每章末都有小結(jié)，并配有復(fù)習(xí)題，對

本書內(nèi)容是幾何分析領(lǐng)域優(yōu)秀的科研工作者所寫的綜述性報告，文章匯報了幾何分析領(lǐng)域的前沿?zé)狳c。.。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。

本書主要針對經(jīng)濟管理類大學(xué)生學(xué)習(xí)微積分的需要而編寫。內(nèi)容包括：函數(shù)，極限與連續(xù)，導(dǎo)數(shù)、微分、邊際與彈性，中值定理及導(dǎo)數(shù)的應(yīng)用等。每一章均有A、B兩套習(xí)題，A套為基礎(chǔ)訓(xùn)練，B套有一定的綜合性，有利于學(xué)生對所學(xué)知識的進(jìn)一步鞏固和提高，且有利于對學(xué)生的分層培養(yǎng)。書后附有部分習(xí)題答案和提示。

《數(shù)學(xué)女孩》系列以小說的形式展開，重點描述一群年輕人探尋數(shù)學(xué)中的美。內(nèi)容由淺入深，數(shù)學(xué)講解部分十分精妙，被稱為“絕贊的數(shù)學(xué)科普書”。 《數(shù)學(xué)女孩4：隨機算法》以“隨機算法”為主題，從純粹的數(shù)學(xué)和計算機程序設(shè)計兩個角度對隨機算法進(jìn)行了細(xì)致的講解。內(nèi)容涉及排列組合、概率、期望、線性法則、矩陣、順序查找算法、二分查找算法、冒

Thisbookdiscussestheapplicationofindependentcontinuousmappingmethodinpredictingandtheoptimizationofthemechanicalperformanceofbucklingwithdisplacement,stressands

本書內(nèi)容隸屬于初中數(shù)學(xué)《圖形與幾何》部分，適用于數(shù)學(xué)教師及全體七年級、八年級、九年級，本書按照不同年級應(yīng)該學(xué)會哪些基本的破解幾何方法分類，使學(xué)生學(xué)會用一種方法解決一類問題。本書是根據(jù)初中數(shù)學(xué)《圖形與幾何》部分進(jìn)行編排的，用一種方法解決一類問題是本書的特點，重在強調(diào)從不同的角度思考同一個問題，從而尋找不同的解題方法，深入

積分是微積分學(xué)與數(shù)學(xué)分析里的一個核心概念，通常分為定積分和不定積分兩種，它的使用群體非常大，從初學(xué)微積分的大學(xué)生，到有工作經(jīng)驗的科學(xué)家、工程師都會遇到積分。這是一本專門介紹積分公式的書，內(nèi)容包括常見的不定積表和定積分表，適合學(xué)習(xí)微積分的各專業(yè)的大學(xué)生使用。