- 科学出版社(5)
- 科学出版社(5)
- 中国地质大学出版社(1)
- 中国地质大学出版社(1)
- 中国林业出版社(1)
- 中国林业出版社(1)
- 科学出版社(5)
- 科学出版社(5)
- 中国地质大学出版社(1)
- 中国地质大学出版社(1)
- 中国林业出版社(1)
- 中国林业出版社(1)
-
吴文俊全集 拓扑学卷1
¥87.2(4.9折)定价:¥178.0本卷收录由法国HermannCie出版社出版的吴文俊的博士论文《Surles Classes Caractéristiquesdes Structures Fibrées Sphériques.》(论球丛结构的示性类)与Springer出版的《Rational HomotopyType-AConstructive Studyviathe Theory of the I*-measure》(有理同伦类)。吴的博士论文给出了两类具有特定群
-
数学机械化II/吴文俊全集
¥77.4(4.9折)定价:¥158.0本卷收录了吴文俊的MechanicalTheoremProvinginGeometries:BasicPrinciples一书.书中论述初等几何机器证明的基本原理,证明了奠基于各种公理系统的各种初等几何,只需相当于乘法交换律的某一公理成立,大都可以机械化.因此在理论上,这些几何的定理证明可以借肋于计算机来实施.可以机械化的几何包括了多种有序或无序的常用几何、投影几何、非欧几何与圆几何等.全书共分六章.前两章是关于几何机械化的预备知识,
-
吴文俊全集 数学机械化卷1
¥92.1(4.9折)定价:¥188.0本卷收录了吴文俊的Mathematics Mechanization:Mechanical Geometry Theorem-Proving,Mechanical Geometry Problem-Solving and Polynomial Equations-Solving一书。本书是围绕作者命名的“数学机械化”这一中心议题而陆续发表的一系列论文的综述。本书试图以构造性与算法化的方式来研究数学,使数学推理机械化以至于自动化,由此减
-
吴文俊全集.数学机械化卷III
¥97.0(4.9折)定价:¥198.0本卷收录了吴文俊的《数学机械化》一书.本书是围绕作者命名的“数学机械化”这一中心议题而陆续发表的一系列论文的综述.本书试图以构造性与算法化的方式来研究数学,使数学推理机械化以至于自动化,由此减轻繁琐的脑力劳动.全书分成三个部分:部分考虑数学机械化的发展历史,特别强调在古代中国的发展历史.第二部分给出求解多项式方程组所依据的基本原理与特征列方法.作为这一方法的基础,本书还论述了构造性代数几何中的若干问题.第三部分给出了特征列方法在几何定
-
口岸截获外来小蠹彩色图鉴(全2册)
¥51.6(4.3折)定价:¥120.0小蠹隶属于鞘翅目象虫科,是鞘翅目中非常进化的一个类群。小蠹英文名为Bark and Ambrosia Beetles,是鞘翅目昆虫中非常具检疫意义的类群之一。 作为世界上危害非常严重的林木害虫类群之一,也是口岸主要截获的类群。由于其生物学特性和重要的经济意义,一直以来受到国际学者的重要关注。小蠹在国际贸易中主要随木材及木质包装材料等进行扩散,由于其隐蔽的生活环境加大了小蠹的检疫难度,增加了其入侵的可能性。 口岸检疫是预防小蠹传
-
内蒙古自治区自然重砂资料应用研究
¥85.1(4.3折)定价:¥198.0本书主要完成了内蒙古省级图件36张、数据库15个, 预测工作区图件149张、数据库75个, 为内蒙古区域成矿规律、成矿预测及矿产资源潜力评价提供重要依据。为内蒙资源潜力评价提供自然重砂信息。通过系统的对内蒙自然重砂资料研究、应用, 主要编制了各类异常图, 可提取各种异常信息为潜力评价项目提供重要依据...