时间、空间、物质运动与相对论 【数理化】

几何定理机器证明的几何不变量方法 【数理化】

用计算机自动证明某一类型几何定理，甚至某一种几何全部定理的原理和方法。从理论角度看，几何定理的机器证明要经历公理化、代数化与坐标化、机械化等步骤，才能编制程序并在计算机上实现。可用机器证明的几何定...

夸克与轻子物理的运动学原理 【数理化】

非线性振动和运动稳定性 【数理化】

爆米花数学童话 森林运动会 【数理化】

不等式机器证明与自动发现 【数理化】

本书主要介绍作者及其合作者近10年来在不等式机器证明与自动发现方面的工作，兼顾经典结果和方法。全书共分七章，分别介绍和论述：多项式的伪除与结式；相对单纯分解；多项式的实根；常系数半代数系统的实解隔离；参......

气体运动论 王承书论文选集 英文 【数理化】

高边坡物质运动全过程模拟 【数理化】

大学物理大作业 01 质点运动学 【数理化】

2016考研数学命题人复习全书题型强化练习参考答案 数学 3 【数理化】

为了使考研同学能在较短时间内全面复习数学，达到硕士学习阶段应具备的数学能力，提供考研数学应试水平，以合格的数学成绩任国家挑选，作者根据教育部制定的《数学考试大纲》的要求和最新精神，深入研究了近年来考研...