圖書標籤: 數學 計算機代數 不等式 符號計算 科普 物理 有電子版 已購買
发表于2024-11-08
不等式機器證明與自動發現 pdf epub mobi txt 電子書 下載 2024
《不等式機器證明與自動發現》主要介紹作者及其閤作者近十年來在不等式機器證明與自動發現方麵的工作,兼顧經典結果和方法,全書共分7章,分彆介紹和論述多項式的僞除與結式、相對單純分解、多項式的實根、常係數半代數係統的實解隔離、參係數半代數係統的實解分類、不等式機器證明的降維算法與BOTTEMA程序以及不等式的明證,除第1章及第3章、第7章的部分內容外,餘皆作者及閤作者的工作,附錄介紹瞭子結式理論和柱形代數分解算法,還包括瞭對作者自編軟件包B01TrEMA的使用說明。
評分
評分
評分
評分
不等式機器證明與自動發現 pdf epub mobi txt 電子書 下載 2024