Automated Reasoning in Geometry and Mechanics

这项研究的目标是继续研究初等几何、微分几何和力学中的自动推理。它不仅包括定理证明，还包括公式推导。在这三个方面，将分别进行以下研究：(1)改进现有的证明技术；(2)进一步研究公式的机械推导；(3)收集大量的实例；(4)改进Ritt-Wu分解算法和其他关键算法；(5)将Ritt-Wu方法与初等几何中的Collins方法相结合；(6)研究所产生的技术在连杆机构运动综合、CAD/CAM等领域的实际应用。

The goal of this research is to continue investigation of automated reasoning in elementary geometry, differential geometry, and mechanics. It covers not only theorem proving, but also formula derivation. In each of these three areas, the following research will be conducted: (1) to improve existing proving techniques; (2) to further study mechanical formula derivation; (3) to collect a significant number of worked examples; (4) to improve Ritt-Wu's decomposition algorithm and other key algorithms; (5) to combine Ritt-Wu's method with Collins' method in elementary geometry; (6) to study practical application of resulting techniques to areas such as kinematic synthesis of linkages and mechanisms, CAD/CAM, etc.