數學機械化叢書 方程求解與機器證明:基於MMP的問題求解 epub pdf  mobi txt 電子書 下載

數學機械化叢書 方程求解與機器證明:基於MMP的問題求解 epub pdf mobi txt 電子書 下載 2024

數學機械化叢書 方程求解與機器證明:基於MMP的問題求解 epub pdf mobi txt 電子書 下載 2024


簡體網頁||繁體網頁
高小山,王定康,裘宗燕,楊宏 著

下載链接在页面底部


點擊這裡下載
    


想要找書就要到 靜思書屋
立刻按 ctrl+D收藏本頁
你會得到大驚喜!!

發表於2024-11-10

商品介绍



齣版社: 科學齣版社有限責任公司
ISBN:9787030178626
版次:1
商品編碼:11896204
包裝:精裝
叢書名: 數學機械化叢書7
開本:16開
齣版時間:2006-09-01
用紙:膠版紙
頁數:279
字數:34200
正文語種:中文

數學機械化叢書 方程求解與機器證明:基於MMP的問題求解 epub pdf mobi txt 電子書 下載 2024



类似图書 點擊查看全場最低價

相关書籍





書籍描述

內容簡介

  《數學機械化叢書 方程求解與機器證明:基於MMP的問題求解》主要包括兩部分內容:一是對MMP的基本功能的介紹,主要是前三章;二是通過MMP的實例介紹瞭數學機械化的基本理論與新進展,特彆是方程求解與機器證明方麵的結果。第四章介紹瞭多項式係統,常微分係統,偏微分係統的吳零點分解定理與投影定理。第五章介紹初等與微分幾何中定理自動證明與自動發現的吳方法。第六章介紹代數方程求解的吳消元法以及參數方程求解、預解式理論及其應用。第七章介紹微分方程求解的吳消元法以及微分方程初等函數解、冪級數解的求解方法。第八章介紹代數係統全局優化的吳有限核定理以及不等式的自動證明與發現。每章末尾還對本章的內容與MMP實現的方法所涉及的文獻進行瞭介紹。

內頁插圖

目錄

《數學機械化叢書》前言
序言

第一章 數學機械化平颱MMP簡介
§1.1 MMP簡介
§1.2 MMP的安裝與啓動
§1.3 數與多項式運算
§1.4 用MMP求解代數與微分方程
§1.5 用MMP自動證明與發現定理

第二章 MMP的基本數據類型與運算
§2.1 數據類型
§2.2 數的運算
§2.3 變量和賦值語句
§2.4 錶達式
§2.5 多項式和分式
§2.6 鏈錶的運算
§2.7 矩陣與綫性方程組求解
§2.8 op與subs函數

第三章 MMP的編程環境
§3.1 介紹
§3.2 基本語句
§3.3 錶
§3.4 自定義函數
§3.5 MMP編程實例

第四章 吳特徵列方法
§4.1 多項式與升列
§4.2 整序原理
§4.3 代數情形的零點分解算法
§4.4 微分情形的零點分解算法
§4.5 擬代數簇的投影運算

第五章 幾何定理機器證明與發現
§5.1 幾何命題的輸入與轉換
§5.2 初等幾何定理機器證明
§5.3 初等幾何定理自動發現
§5.4 微分幾何定理機器證明與發現

第六章 代數方程求解
§6.1 多項式方程求解的吳消元法
§6.2 預解式及其應用
§6.3 含參數方程組的求解
§6.4 多項式方程的數值解
§6.5 代數方程求解的應用

第七章 代數微分方程求解
§7.1 代數微分方程求解的吳消元法
§7.2 常微分方程的初等函數解
§7.3 微分方程的形式冪級數解
§7.4 微分方程的行波解

第八章 代數方程組的實數解與不等式機器證明
§8.1 代數方程的實根隔離
§8.2 代數係統全局優化的吳有限核定理
§8.3 方程實根個數的判定
§8.4 優化問題的數值計算與隨機搜索方法

參考文獻

附錄 幾何命題的描述
A.1 幾何命題的謂詞形式
A.2 幾何命題的構造形式
A.3 幾何命題的自然語言形式

索引

前言/序言


數學機械化叢書 方程求解與機器證明:基於MMP的問題求解 epub pdf mobi txt 電子書 下載 2024

數學機械化叢書 方程求解與機器證明:基於MMP的問題求解 下載 epub mobi pdf txt 電子書

數學機械化叢書 方程求解與機器證明:基於MMP的問題求解 pdf 下載 mobi 下載 pub 下載 txt 電子書 下載 2024

數學機械化叢書 方程求解與機器證明:基於MMP的問題求解 mobi pdf epub txt 電子書 下載 2024

數學機械化叢書 方程求解與機器證明:基於MMP的問題求解 epub pdf mobi txt 電子書 下載
想要找書就要到 靜思書屋
立刻按 ctrl+D收藏本頁
你會得到大驚喜!!

讀者評價

評分

評分

評分

評分

評分

評分

評分

評分

評分

數學機械化叢書 方程求解與機器證明:基於MMP的問題求解 epub pdf mobi txt 電子書 下載 2024

类似图書 點擊查看全場最低價

數學機械化叢書 方程求解與機器證明:基於MMP的問題求解 epub pdf mobi txt 電子書 下載 2024


分享鏈接





相关書籍


本站所有內容均為互聯網搜索引擎提供的公開搜索信息,本站不存儲任何數據與內容,任何內容與數據均與本站無關,如有需要請聯繫相關搜索引擎包括但不限於百度google,bing,sogou

友情鏈接

© 2024 book.idnshop.cc All Rights Reserved. 靜思書屋 版权所有