...more

...more

...more

...more

...more

...more

...more

...more

...more

...more

...more

...more

...more

...more

...more

...more

...more

...more

...more

...more

...more

...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

...more

...more

...more

...more

...more

...more

...more

《本草綱目》是中國醫藥寶庫中的一份珍貴遺產，是對16世紀以前中醫藥學的系統總結，全書52卷，載藥1892種，方一萬餘首，插圖一千多幅，為明代萬曆以前本草集大成之作。該書還流傳海外，對世界藥物學、植物...more

《本草綱目》是中國醫藥寶庫中的一份珍貴遺產，是對16世紀以前中醫藥學的系統總結，全書52卷，載藥1892種，方一萬餘首，插圖一千多幅，為明代萬曆以前本草集大成之作。 該書還流傳海外，對世界藥物學、植...more

《本草綱目》是中國醫藥寶庫中的一份珍貴遺產，是對16世紀以前中醫藥學的系統總結，全書52卷，載藥1892種，方一萬餘首，插圖一千多幅，為明代萬曆以前本草集大成之作。該書還流傳海外，對世界藥物學、植物...more

《本草綱目》是中國醫藥寶庫中的一份珍貴遺產，是對16世紀以前中醫藥學的系統總結，全書52卷，載藥1892種，方一萬餘首，插圖一千多幅，為明代萬曆以前本草集大成之作。該書還流傳海外，對世界藥物學、植物...more

是“本草綱目研究集成”叢書之一。書名中的“圖考”，乃是“考圖”之意，將《本草綱目》“一祖三系”之金陵本、江西本、錢(蔚起)本及張(紹棠)本這四大系統藥圖進行逐一比較，考釋各版本《綱目》藥圖存在的異同及與...more

...more

《本草綱目》是中國醫藥寶庫中的一份珍貴遺產，是對16世紀以前中醫藥學的系統總結，全書52卷，載藥1892種，方一萬餘首，插圖一千多幅，為明代萬曆以前本草集大成之作。該書還流傳海外，對世界藥物學、植物...more

《本草綱目》是中國醫藥寶庫中的一份珍貴遺產，是對16世紀以前中醫藥學的系統總結，全書52卷，載藥1892種，方一萬餘首，插圖一千多幅，為明代萬曆以前本草集大成之作。 《本草綱目研究集成：本草綱目影校...more

1、本書中挑選出來的1000種葡萄酒，一定會滿足各個層次，不同葡萄酒愛好者的喜歡。是最公平最具權威的葡萄酒圖書。2、葡萄酒和餐品的完美搭檔：本書隨書策划15中在家就能做出、適合葡萄酒品嘗的菜品，讓您...more

...more

...more

...more