-
太行山区层状云降水物理过程观测与数值模拟研究
¥64.8(7.2折)定价:¥90.0本书针对太行山区层状云降水云系, 以有设计的飞机探测为主要手段, 综合利用卫星、雷达、Parsivel降水粒子谱仪等多源观测资料, 结合数值模拟方法, 给出了太行山区层状云宏微观物理量的统计特征, 研究了典型层状云降水云系的微物理特征和降水机制以及不同发展阶段的结构特征, 对太行山层状云降水云系空中、地面雨滴谱特征进行了分析...
-
数学机械化丛书,11:不等式机器证明与自动发现
¥63.4(7.2折)定价:¥88.0本书主要介绍作者在不等式机器证明于自动发现方面的工作。分别介绍和论述多项式的伪除与结式、相对单纯分解、多项式的实根、常系数半代数系统的实解隔离、不等式机器证明的降维算法等内容...