论文部分内容阅读
给出机器证明原理在微分情形和一些力学问题中的应用,引进保持性质的导数的形式记号,建立了微分方程变量间依赖关系的自动推理的机械化证明原理,从而方程间的变换(如Backlund变换等)均可机械地验证,并具体给出该方法在:弹性力学控制方程的自动推理:(PKP)方程的Backlund变换的正确性的机械化验证及各向异性弹力中的不变量的自动推理中的应用并用计算机代数系统实现了其运算。给出了计算机判断和推导方程