《不等式機器證明與自動發現》主要介紹作者及其閤作者近十年來在不等式機器證明與自動發現方麵的工作,兼顧經典結果和方法,全書共分7章,分彆介紹和論述多項式的僞除與結式、相對單純分解、多項式的實根、常係數半代數係統的實解隔離、參係數半代數係統的實解分類、不等式機器證明的降維算法與BOTTEMA程序以及不等式的明證,除第1章及第3章、第7章的部分內容外,餘皆作者及閤作者的工作,附錄介紹瞭子結式理論和柱形代數分解算法,還包括瞭對作者自編軟件包B01TrEMA的使用說明。
評分
評分
評分
評分
本站所有內容均為互聯網搜索引擎提供的公開搜索信息,本站不存儲任何數據與內容,任何內容與數據均與本站無關,如有需要請聯繫相關搜索引擎包括但不限於百度,google,bing,sogou 等
© 2025 qciss.net All Rights Reserved. 小哈圖書下載中心 版权所有