D_ijk=D_kji 对称性证明生成器

本工具专用于机器人动力学分析中D_ijk=D_kji (j≤i,k) 对称性质的自动证明生成。 针对《用于机器人动力学分析的一种方法》一文中的补充内容，利用智能算法推导张量对称性。 支持 递归牛顿-欧拉法 拉格朗日法 凯恩动力学 等多种建模体系。 帮助您快速验证论文中的数学推导，显著提升 动力学分析效率。