本卷收錄了吳文俊在數(shù)學(xué)機(jī)械化領(lǐng)域發(fā)表的56論文篇。內(nèi)容包括：幾何定理機(jī)器證明的吳方法，多項(xiàng)式系統(tǒng)符號(hào)求解的Ritt-吳特征列方法，構(gòu)造性微分代數(shù)幾何理論，不等式機(jī)器證明與優(yōu)化問(wèn)題的有限核定理等數(shù)學(xué)機(jī)械化領(lǐng)域的奠基性成果。還包括數(shù)學(xué)機(jī)械化方法在數(shù)學(xué)定理的自動(dòng)發(fā)現(xiàn)、天體中心構(gòu)型問(wèn)題求解、平面機(jī)構(gòu)定理的機(jī)器證明、機(jī)器人的運(yùn)動(dòng)

本書(shū)主要介紹了DNA計(jì)算核酸編碼原理及方法，具體包括，DNA計(jì)算的研究進(jìn)展和背景，DNA計(jì)算的生物化學(xué)基礎(chǔ)，DNA編碼問(wèn)題及其復(fù)雜性分析，DNA二級(jí)結(jié)構(gòu)預(yù)測(cè)和*小自由能模型，隱枚舉核酸序列編碼算法，DNA編碼在圖著色DNA計(jì)算中的應(yīng)用。

《高等數(shù)學(xué)觀點(diǎn)下的中學(xué)數(shù)學(xué)》旨在解決如何在高等數(shù)學(xué)觀點(diǎn)的指導(dǎo)下,加強(qiáng)高等數(shù)學(xué)與中學(xué)數(shù)學(xué)的聯(lián)系：一是將高等數(shù)學(xué)的知識(shí)、思想、觀點(diǎn)和方法滲透到中學(xué)數(shù)學(xué)教學(xué)中去;二是揭示中學(xué)數(shù)學(xué)內(nèi)容中某些不容易解釋的問(wèn)題的高等數(shù)學(xué)背景;三是通過(guò)具體材料或?qū)嵗�展示高等�?shù)學(xué)對(duì)中學(xué)數(shù)學(xué)的指導(dǎo)作用。全書(shū)共8章,每章末附有思考題,書(shū)后附有參考答案。本

本書(shū)的主要內(nèi)容包括：初等函數(shù)、極限與連續(xù)、導(dǎo)數(shù)與微分、不定積分、定積分及其應(yīng)用，微分方程，矩陣與線性代數(shù)、概率論基礎(chǔ)、統(tǒng)計(jì)基礎(chǔ)、MATLAB數(shù)學(xué)實(shí)驗(yàn)等。本書(shū)的特色是通過(guò)引入了數(shù)學(xué)在建筑、經(jīng)濟(jì)等相關(guān)領(lǐng)域的應(yīng)用實(shí)例，體現(xiàn)“貼近實(shí)際，面向?qū)�業(yè)”的思想；并通過(guò)引入數(shù)學(xué)歷史，感受數(shù)學(xué)文化的熏陶，領(lǐng)悟數(shù)學(xué)的思想、精神和方法，激發(fā)學(xué)

本書(shū)是作者根據(jù)多年來(lái)在黑龍江大學(xué)講授高等代數(shù)及相關(guān)課程，以及從事科研工作的經(jīng)驗(yàn)和心得寫(xiě)成的，有許多獨(dú)到的科學(xué)見(jiàn)解。分上下兩冊(cè)出版。上冊(cè)內(nèi)容包括行列式、矩陣、線性方程組、特征值與特征向量、內(nèi)積與正交陣、二次型與對(duì)稱陣等。下冊(cè)內(nèi)容包括多項(xiàng)式、多項(xiàng)式矩陣、線性空間、線性映射與線性變換和歐式空間等。全書(shū)體系簡(jiǎn)練完整，敘述由淺入

本書(shū)精選工程、經(jīng)濟(jì)、科學(xué)研究以及日常生活中的實(shí)例，通過(guò)分析、模型的建立與求解、結(jié)論三個(gè)方面對(duì)應(yīng)用案例進(jìn)行分析。全書(shū)共分七章，包括行列式的應(yīng)用、矩陣的應(yīng)用、向量理論的應(yīng)用、線性方程組的應(yīng)用、特征值與特征向量的應(yīng)用、二次型的應(yīng)用以及綜合案例等。書(shū)中案例按力求應(yīng)用領(lǐng)域分類，復(fù)雜的計(jì)算過(guò)程可相結(jié)合相應(yīng)的數(shù)學(xué)軟件進(jìn)行計(jì)算，使讀者

本書(shū)介紹了200個(gè)重點(diǎn)的數(shù)學(xué)知識(shí)。每個(gè)知識(shí)點(diǎn)都通過(guò)一個(gè)生動(dòng)的畫(huà)面和簡(jiǎn)介的解釋來(lái)呈現(xiàn)，使讀者很容易理解其概念。書(shū)中的200個(gè)知識(shí)概念涵蓋了所有數(shù)學(xué)領(lǐng)域，包括集合、數(shù)列、幾何、代數(shù)、函數(shù)與微積分、向量與矩陣、復(fù)數(shù)、組合、數(shù)論等方面內(nèi)容。書(shū)中介紹的數(shù)學(xué)概念簡(jiǎn)單、實(shí)用，可以讓讀者迅速理解并吸收。本書(shū)不僅是讀者理想、便利的數(shù)學(xué)參

線性代數(shù)是大學(xué)理工科與經(jīng)濟(jì)、管理等學(xué)科的一門(mén)基礎(chǔ)課程�，F(xiàn)將習(xí)題、自測(cè)題與期末全真試題部分集為一冊(cè)出版，以使學(xué)習(xí)者完成練習(xí)更加便利。本書(shū)是配套教材《線性代數(shù)》（邵建峰、劉彬編）的學(xué)生用練習(xí)冊(cè)，共四部分。第一部分是線性代數(shù)前七章的習(xí)題與每章自測(cè)題；第二部分是線性代數(shù)測(cè)試試題及詳解；第三部分是線性代數(shù)部分往年考題及詳解；第四

本書(shū)是根據(jù)教育部非數(shù)學(xué)專業(yè)數(shù)學(xué)基礎(chǔ)課教學(xué)指導(dǎo)分委員會(huì)制定的工科類本科數(shù)學(xué)基礎(chǔ)課程教學(xué)基本要求編寫(xiě)的全英文教材，全書(shū)分為上、下兩冊(cè)。本書(shū)為上冊(cè)，主要包括函數(shù)與極限，一元函數(shù)微積分及其應(yīng)用和微分方程三部分。本書(shū)對(duì)基本概念的敘述清晰準(zhǔn)確，對(duì)基本理論的論述簡(jiǎn)明易懂，例題習(xí)題的選配典型多樣，強(qiáng)調(diào)基本運(yùn)算能力的培養(yǎng)及理論的實(shí)際應(yīng)用

本書(shū)是根據(jù)教育部非數(shù)學(xué)專業(yè)數(shù)學(xué)基礎(chǔ)課教學(xué)指導(dǎo)分委員會(huì)制定的工科類本科數(shù)學(xué)基礎(chǔ)課程教學(xué)基本要求編寫(xiě)的全英文教材，全書(shū)分為上、下兩冊(cè)。本書(shū)為下冊(cè)，主要包括空間解析幾何和向量代數(shù)，多元函數(shù)微積分及其應(yīng)用，曲線積分與曲面積分和微分方程。本書(shū)對(duì)基本概念的敘述清晰準(zhǔn)確，對(duì)基本理論的論述簡(jiǎn)明易懂，例題習(xí)題的選配典型多樣，強(qiáng)調(diào)基本運(yùn)算