《吳文俊全集·數學機械化II》是2019年05月01日科學出版社出版的圖書,作者是吳文俊。
基本介紹
- 中文名:吳文俊全集·數學機械化II
- 作者:吳文俊
- 出版社:科學出版社
- 出版時間:2019-05
- 頁數:284 頁
- 定價:158 元
- 開本:16 開
- 裝幀:圓脊精裝
- ISBN:9787508855516
《吳文俊全集·數學機械化II》是2019年05月01日科學出版社出版的圖書,作者是吳文俊。
《吳文俊全集·數學機械化II》是2019年05月01日科學出版社出版的圖書,作者是吳文俊。內容簡介本卷收錄了吳文俊的Mechanical Theorem Provingin Geometries:Basic Princi...
本書內容包括吳文俊的生平、成就與獲得的獎勵的介紹, 陳省身、楊振寧、丘成桐、Jean-Pierre Bourguignon等78位吳文俊生前同事、學生以及家屬的回憶、紀念與緬懷的文章, 以及22篇關於吳文俊的新聞報導. 這些文章全面介紹了吳文俊先生在拓撲學、數學機械化、中國古代數學史等方向取得的成就, 吳文俊先生的學術思想與治學態度,...
我國古代測望之學重差理論評介——兼評數學史研究中某些方法問題 《海島算經》古證探源 The Out-In Complementary Principle 古今數學思想(摘要)在中外數學史講習班開幕典禮上的講話 Recent Studies of the History of Chinese Mathematics 從《數書九章》看中國傳統數學構造性與機械化的特色 近年來中國數學史的研究...
《吳文俊全集·數學思想卷》是2019年05月01日科學出版社出版的圖書,作者是吳文俊。內容簡介 本書收載了吳文俊的非專業性文論,包括發表過的通俗文章和在各種場合所作的報告、講話以及撰寫的序言和書評。這些非專業的文論綜合反映了吳文俊的數學思想,內容涉及對整個數學的認識、對發展數學的主張以及數學研究的治學之道、...
《吳文俊全集:數學機械化卷Ⅴ》是2019年05月01日科學出版社出版的圖書,作者是吳文俊。內容簡介 本卷收錄了吳文俊在數學機械化領域發表的46篇論文,內容包括:幾何定理機器證明的吳方法、多項式系統符號求解的Ritt-吳特徵列方法、構造性微分代數幾何理論、不等式機器證明與最佳化問題的有限核定理等數學機械化領域的奠基性...
《吳文俊全集·數學機械化卷IV》是2019年05月01日科學出版社出版的圖書,作者是吳文俊。內容簡介 本卷收錄了吳文俊的《幾何定理機器證明的基本原理》一書。書中論述初等幾何機器證明的基本原理,證明了奠基於各種公理系統的各種初等幾何,只需相當於乘法交換律的某一公理成立,大都可以機械化。因此在理論上,這些幾何的...
《吳文俊全集·博弈論、代數幾何、圖的平面嵌入卷》是2019年05月01日科學出版社出版的圖書,作者是吳文俊。內容簡介 本書收錄吳文俊發表的博弈論、代數幾何和圖的平面嵌入等三個方面的論文. 其中, 《關於博弈理論基本定理的一個註記》是中國博弈論研究的開山之作. 《活動受限制下的非協作對策》等兩篇論文則包含了...