登入帳戶　 |　訂單查詢　 |　購物車/收銀台(0)　|　在線留言板　 |　付款方式　 |　運費計算　 |　聯絡我們　 |　幫助中心　|　 加入書簽
會員登入   新用戶登記
HOME新書上架暢銷書架好書推介特價區會員書架精選月讀2025年度TOP分類瀏覽雜誌 臺灣用戶
品種：超過100萬種各類書籍/音像和精品，正品正價，放心網購，悭钱省心 服務：香港／台灣／澳門／海外 送貨：速遞／郵局／服務站

新書上架：簡體書 繁體書
暢銷書架：簡體書 繁體書
好書推介：簡體書 繁體書

一月出版：大陸書 台灣書
12月出版：大陸書 台灣書
11月出版：大陸書 台灣書
十月出版：大陸書 台灣書
九月出版：大陸書 台灣書
八月出版：大陸書 台灣書
七月出版：大陸書 台灣書
六月出版：大陸書 台灣書
五月出版：大陸書 台灣書
四月出版：大陸書 台灣書
三月出版：大陸書 台灣書
二月出版：大陸書 台灣書
一月出版：大陸書 台灣書
12月出版：大陸書 台灣書

『簡體書』吴文俊全集·数学机械化I

書城自編碼： 3439264
分類：簡體書→大陸圖書→自然科學→數學
作者： 吴文俊
國際書號(ISBN)： 9787508855509
出版社： 龙门书局
出版日期： 2019-06-01

頁數/字數： /
書度/開本： 大32开 釘裝： 平装

售價：HK$ 253.8

我要買 件

** 我創建的書架 **
未登入.


新書推薦：
索恩丛书·风雨山河：清季变局中的人物与社会
《 索恩丛书·风雨山河：清季变局中的人物与社会 》
售價：HK$ 75.9
外太空巨型星座管控的迫切需求
《 外太空巨型星座管控的迫切需求 》
售價：HK$ 74.8
“Z行动”苏联空军志愿队研究（套装全2册）
《 “Z行动”苏联空军志愿队研究（套装全2册） 》
售價：HK$ 361.9
清华大学藏战国竹简校释（柒）：《楚居》诸篇
《 清华大学藏战国竹简校释（柒）：《楚居》诸篇 》
售價：HK$ 132.0
任伯年册页精选
《 任伯年册页精选 》
售價：HK$ 330.0
国之大道G219自驾攻略图——314国道喀什至红其拉甫口岸、独库公路
《 国之大道G219自驾攻略图——314国道喀什至红其拉甫口岸、独库公路 》
售價：HK$ 52.8
中国近代史（名家导读版）
《 中国近代史（名家导读版） 》
售價：HK$ 90.2
《四库全书总目》子部辨证与学术批评研究（全三册）
《 《四库全书总目》子部辨证与学术批评研究（全三册） 》
售價：HK$ 404.8

內容簡介：
本卷收录了吴文俊的Mathematics Mechanization： Mechanical Geometry Theorem-Proving, Mechanical Geometry Problem-Solving and Polynomial Equations-Solving 一书. 本书是围绕作者命名的数学机械化这一中心议题而陆续发表的一系列论文的综述. 本书试图以构造性与算法化的方式来研究数学, 使数学推理机械化以至于自动化, 由此减轻繁琐的脑力劳动.
全书分成三个部分：*部分考虑数学机械化的发展历史, 特别强调在古代中国的发展历史. 第二部分给出求解多项式方程组所依据的基本原理与特征列方法. 作为这一方法的基础, 本书还论述了构造性代数几何中的若干问题. 第三部分给出了特征列方法在几何定理证明与发现、机器人、天体力学、全局优化和计算机辅助设计等领域中的应用.

 

 

書城介紹　 |　合作申請　|　索要書目　 |　新手入門　|　聯絡方式　 |　幫助中心　|　找書說明　 |　送貨方式　|　付款方式 香港用户　 |　台灣用户　|　海外用户
megBook.com.hk
Copyright © 2013 - 2026 （香港）大書城有限公司　 All Rights Reserved.