天天爆殺 
今日66折 
本卷收錄了吳文俊的《幾何定理機器證明的基本原理》一書。《吳文俊全集·數學機械化卷IV》論述初等幾何機器證明的基本原理，證明瞭奠基於各種公理系統的各種初等幾何，只需相當於乘法交換律的某一公理成立...more
本卷收錄了吳文俊的Mathematics Mechanization: Mechanical Geometry Theorem-Proving, Mechanical Geometry Problem-Solving and Polynom......more
本卷收錄了吳文俊的Mechanical Theorem Provingin Geometries：Basic Principles一書。《吳文俊全集·數學機械化II》論述初等幾何機器證明的基本原理，證明了奠基於各種公理系統的各種初等幾何，只......more
本卷收錄了吳文俊在數學機械化領域發表的46篇論文，內容包括：幾何定理機器證明的吳方法、多項式系統符號求解的Ritt-吳特徵列方法、構造性微分代數幾何理論、不等式機器證明與優化問題的有限核定理等數學...more
本卷收錄了吳文俊的《數學機械化》一書。《吳文俊全集·數學機械化卷III》是圍繞作者命名的“數學機械化”這一中心議題而陸續發表的一系列論文的綜述。《吳文俊全集·數學機械化卷III》試圖以構造性與演算法化...more
博客來數位科技股份有限公司 統編 : 96922355 地址：臺灣 115 台北市南港區八德路四段768巷1弄18號B1之1 食品業者登錄字號：A-196922355-00000-9
Copyright © since 1995 books.com.tw All Rights Reserved.
博客來
博客來
博客來
博客來
博客來
常見問題
線上客服
客服信箱
