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

我們依據(jù)多年的教學(xué)經(jīng)驗編寫的這本《化學(xué)簡史》，主要按照時間順序，將化學(xué)史分為古代史、近代史和現(xiàn)代史三部分。本書展現(xiàn)化學(xué)史的發(fā)展脈絡(luò)，重大的化學(xué)成果及歷史事件，以及眾多化學(xué)家的生平、化學(xué)活動和科學(xué)思想，兼具科學(xué)性和人文性，反映出化學(xué)發(fā)展與人文思想演進的關(guān)系。古代史（遠古時期-17世紀(jì)）部分主要介紹古代實用化學(xué)、煉金術(shù)和煉

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

本書系統(tǒng)地介紹運籌學(xué)中的主要內(nèi)容，重點陳述應(yīng)用最為廣泛的線性規(guī)劃、對偶理論、整數(shù)規(guī)劃、非線性規(guī)劃、動態(tài)規(guī)劃、圖與網(wǎng)絡(luò)、決策分析、博弈論、庫存論、排隊論與模擬等定量分析的理論和方法。閱讀本書只需微積分、線性代數(shù)與概率統(tǒng)計的一些基本知識。本書是教學(xué)改革項目“基于信息技術(shù)平臺的運籌學(xué)立體化教材”的成果，配備有完整和立體化教學(xué)

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

本書系統(tǒng)地介紹了流體介質(zhì)中聲波的激發(fā)、傳播和接收的基本原理和分析方法。主要內(nèi)容包括：理想流體中聲波的基本性質(zhì)；聲波的輻射、散射和衍射；管道和腔體中的聲場；非理想介質(zhì)中的聲波；層狀和運動介質(zhì)中的聲傳播；以及有限振幅聲波的傳播及其物理效應(yīng)。

本書是根據(jù)普通高校理科"近代物理實驗"課程教學(xué)大綱編寫的。內(nèi)容包括：原子物理、原子核物理、真空技術(shù)、X光技術(shù)、激光、全息、微波、磁共振、微弱信號檢測技術(shù)、物理測量等。同時，依托學(xué)科優(yōu)勢和特點，增加了具有代表性的研究性實驗。本書可作為理工科大學(xué)物理專業(yè)或與物理相近專業(yè)"近代物理實驗"課的教學(xué)用書，也可作為從事實驗教學(xué)的教

本書充分考慮目前工科院校各專業(yè)不同學(xué)時"結(jié)構(gòu)力學(xué)"課程的開設(shè)情況，在編寫過程中力求符合工科教育規(guī)律，內(nèi)容精練，思路清晰，說理透徹，重點突出概念和應(yīng)用，強化定性分析，不刻意追求理論研究的深度和難度，聯(lián)系實際，增強工程意識，旨在培養(yǎng)實用型的技術(shù)人才。全書共10章，內(nèi)容包括：緒論、平面體系的幾何組成分析、靜定結(jié)構(gòu)的內(nèi)力分析、

本書以作者團隊多年在電磁場理論及數(shù)值計算方法方面的科研成果為基礎(chǔ)，結(jié)合實際的工程問題介紹準(zhǔn)靜態(tài)電磁場的若干數(shù)值計算方法。第1章為全書的理論基礎(chǔ)，介紹準(zhǔn)靜態(tài)定律、導(dǎo)電媒質(zhì)中的電場、磁準(zhǔn)靜態(tài)場、電磁擴散、電磁能等內(nèi)容。第2～5章針對電準(zhǔn)靜態(tài)場的數(shù)值計算方法，分別介紹極性反轉(zhuǎn)瞬態(tài)電場的標(biāo)量電位有限元法、極性反轉(zhuǎn)電場的節(jié)點電荷

本書以"四種自然力走向統(tǒng)一的探索歷程"為主線，全面、系統(tǒng)地介紹經(jīng)典力學(xué)、電磁理論、狹義和廣義相對論、愛因斯坦統(tǒng)一場論、量子力學(xué)、量子電動力學(xué)、弱電統(tǒng)一理論、量子色動力學(xué)、粒子物理標(biāo)準(zhǔn)模型、強弱電大統(tǒng)一理論和超弦理論等物理學(xué)基礎(chǔ)理論（包括著名科學(xué)家哥白尼、伽利略、牛頓、愛因斯坦和楊振寧等的生平事跡和一些有趣的故事），盡量