吴文森 微分几何的力学定理证明及其在力学中的一些应用。 （英语） Zbl 0736.03002号 J.自动化。推理 171-191年第2期第7页（1991年）. 摘要：基于微分多项式集的有序性原理，阐述并讨论了机械定理证明（MTP）和机械定理发现（MTD）的原理。然后举例说明如何将这些原理应用于微分几何和力学中的问题。 引用于7文件 MSC公司： 03B35型 证明和逻辑操作的机械化 68吨15 定理证明（演绎、解析等）（MSC2010） 53甲17 运动学中的微分几何方面 53A04号 欧氏空间和相关空间中的曲线 2015年1月70日 天体力学 关键词：有序原则;微分多项式集;力学定理证明;力学定理的发现;微分几何;力学 PDF格式BibTeX公司 XML格式引用 \textit{W.Wu}，J.Autom。推理7，No.2，171--191（1991；Zbl 0736.03002）