本書系統(tǒng)深入地闡述了矩陣結(jié)構(gòu)和矩陣函數(shù)的公理化體系，并給出基于此公理體系進(jìn)行形式化分析與驗(yàn)證的應(yīng)用。主要內(nèi)容包括：矩陣結(jié)構(gòu)的形式化；矩陣序列與矩陣級數(shù)理論的形式化；矩陣函數(shù)微分的形式化；矩陣?yán)碚摰淖詣踊�定理證明；矩陣?yán)碚摴�理化系統(tǒng)在信息或物理系統(tǒng)形式化建模驗(yàn)證中的應(yīng)用。

本書是髙等學(xué)校數(shù)學(xué)建模課程教材，共12章，包括數(shù)學(xué)建校概述、初等模型、微分方程模型、差分方程模型、概率與隨機(jī)模型、數(shù)學(xué)規(guī)劃模型、數(shù)據(jù)處理模型、問歸分析模型、分類模型、評價(jià)模型、預(yù)測模型、現(xiàn)代優(yōu)化算法。本書以數(shù)學(xué)建模方法為主線，以解決社會生活和生產(chǎn)符理等領(lǐng)域中的實(shí)際問題為切入點(diǎn)，著重介紹解決問題的數(shù)學(xué)建模思想方法和基本過

本書分11章，內(nèi)容涉及數(shù)學(xué)建模簡介、Python編程基礎(chǔ)與科學(xué)計(jì)算、常微分方程及差分方程方法、偏微分方程、插值與擬合方法、**化方法、圖論方法、排隊(duì)論、回歸分析、因子分析、時(shí)間序列預(yù)測分析方法。第3—11章每章先給出歷史沿革，然后進(jìn)行方法簡介，最后結(jié)合實(shí)例講解建模方法，配合數(shù)學(xué)軟件的介紹和使用，加強(qiáng)建模求解過程的基本訓(xùn)

本書是分?jǐn)?shù)階系統(tǒng)與高階邏輯形式化驗(yàn)證的基礎(chǔ)理論研究著作。分?jǐn)?shù)階系統(tǒng)是建立在分?jǐn)?shù)階微積分方程理論上實(shí)際系統(tǒng)的數(shù)學(xué)模型。分?jǐn)?shù)階微積分方程是擴(kuò)展傳統(tǒng)微積分學(xué)的一種直接方式，即允許微積分方程中對函數(shù)的階次選擇分?jǐn)?shù)，而不僅是現(xiàn)有的整數(shù)。分?jǐn)?shù)階微積分不僅為系統(tǒng)科學(xué)提供了一個新的數(shù)學(xué)工具，它的廣泛應(yīng)用也表明了實(shí)際系統(tǒng)動態(tài)過程本質(zhì)上是

本書是基于作者多年來為本科生、碩士研究生講授組合分析方法及應(yīng)用課程的講義與作者的研究成果編寫而成。全書系統(tǒng)介紹組合數(shù)學(xué)的存在性和計(jì)數(shù)兩大組合分析領(lǐng)域的主要理論、方法及其應(yīng)用，共八章，內(nèi)容包括鴿巢原理及其應(yīng)用、排列與組合及二項(xiàng)式系數(shù)、容斥原理及其應(yīng)用、生成函數(shù)與遞歸關(guān)系、二階線性齊次遞歸序列、組合序列及其性質(zhì)、組合反演公

橢圓曲線密碼體制（ECC）是當(dāng)前主流的公鑰密碼體制，該體制的安全核心是橢圓曲線離散對數(shù)問題（ECDLP）。本書首先對橢圓曲線離散對數(shù)及其相關(guān)問題，以及它們之間的相互關(guān)系進(jìn)行了探討，然后主要介紹了橢圓曲線離散對數(shù)問題的計(jì)算方法，包括通用的平方根算法及其改進(jìn)、特殊橢圓曲線離散對數(shù)的計(jì)算方法、指標(biāo)計(jì)算方法的努力、歸約到NPC

本書基于高階約束流、Hamilton結(jié)構(gòu)及Sato理論提出了構(gòu)造孤立子系統(tǒng)的Rosochatius形變、Kupershmidt形變、帶源形變以及擴(kuò)展的高維可積系統(tǒng)的一般方法,并以光纖通信及流體力學(xué)中的重要模型,如超短脈沖方程、Hirota-方程、Camassa-Holm型方程及q-形變的KP方程等為例詳細(xì)闡述了我們提出

本書內(nèi)容包括行列式、矩陣、線性方程組、矩陣的特征值與特征向量、二次型等基本理論與方法.例題配置注重層次性和典型性,按章節(jié)配有相當(dāng)數(shù)量的習(xí)題,各章還精心設(shè)置了較為豐富、有助于考研等需求的復(fù)習(xí)題,書末附有部分習(xí)題參考解答.此外,還附有線性代數(shù)應(yīng)用實(shí)例與MATLAB在代數(shù)計(jì)算中的用法供學(xué)生進(jìn)一步參考學(xué)習(xí).在概念的引入和內(nèi)容的

本書是根據(jù)線性代數(shù)課程教學(xué)大綱基本要求,結(jié)合作者多年教學(xué)實(shí)踐，參考國內(nèi)外多部優(yōu)秀教材編寫而成的,是河南省數(shù)學(xué)教學(xué)指導(dǎo)委員會推薦用書。全書共9章,內(nèi)容包括:行列式,矩陣,線性空間初步,線性方程組,矩陣的特征值、特征向量與對角化,二次型,數(shù)值計(jì)算初步,應(yīng)用舉例以及MATLAB實(shí)驗(yàn)等，并用二維碼鏈接了每章習(xí)題參考答案(第7-

本書根據(jù)《工科類本科數(shù)學(xué)基礎(chǔ)課程教學(xué)基本要求（修訂稿）》（2019），并結(jié)合21世紀(jì)線性代數(shù)課程教學(xué)內(nèi)容與課程體系改革發(fā)展要求編寫而成。全書分三篇：基礎(chǔ)篇主要介紹線性代數(shù)基本內(nèi)容；應(yīng)用篇結(jié)合線性代數(shù)四個知識面，通過生動的實(shí)例介紹它們在經(jīng)濟(jì)、工程技術(shù)等方面的應(yīng)用；實(shí)驗(yàn)篇簡要介紹MATLAB軟件及其在線性代數(shù)中的應(yīng)用。本書