不等式機器證明與自動發現

不等式機器證明與自動發現 pdf epub mobi txt 電子書 下載2025

出版者:科學齣版社
作者:楊路
出品人:
頁數:226
译者:
出版時間:2008-1
價格:45.00元
裝幀:
isbn號碼:9787030207210
叢書系列:數學機械化叢書
圖書標籤:
  • 數學 
  • 計算機代數 
  • 不等式 
  • 符號計算 
  • 科普 
  • 物理 
  • 有電子版 
  • 已購買 
  •  
想要找書就要到 圖書目錄大全
立刻按 ctrl+D收藏本頁
你會得到大驚喜!!

《不等式機器證明與自動發現》主要介紹作者及其閤作者近十年來在不等式機器證明與自動發現方麵的工作,兼顧經典結果和方法,全書共分7章,分彆介紹和論述多項式的僞除與結式、相對單純分解、多項式的實根、常係數半代數係統的實解隔離、參係數半代數係統的實解分類、不等式機器證明的降維算法與BOTTEMA程序以及不等式的明證,除第1章及第3章、第7章的部分內容外,餘皆作者及閤作者的工作,附錄介紹瞭子結式理論和柱形代數分解算法,還包括瞭對作者自編軟件包B01TrEMA的使用說明。

具體描述

讀後感

評分

評分

評分

評分

評分

用戶評價

评分

评分

评分

评分

评分

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

© 2025 qciss.net All Rights Reserved. 小哈圖書下載中心 版权所有