×
朱塞帕·卡拉·费罗

微分几何中证明语句的过程的扩展。 （英语） Zbl 0808.03005号

J.汽车。推理 12，第3期，351-358（1994）.
小结：提出了Carra'-Gallo程序的扩展。通过使用此扩展，可以证明不在该程序范围内的某些示例的有效性。

引用于1文件

MSC公司：

03B35型 证明和逻辑操作的机械化
2012年第68季度 语法和重写系统
68吨15 定理证明（演绎、解析等）（MSC2010）

关键词：

微分尺寸;假设集;结论集;Carra'-Gallo程序的扩展
PDF格式BibTeX公司 XML格式引用
\textit{G.CarráFerro}，J.Autom。推理12，No.3，351--358（1994；Zbl 0808.03005）
全文： 内政部

参考文献：

[1] Buchberger，B.：多项式理想Gröbner基的一些性质，ACM SIGSAM Bull。10 (1976), 19-21.
[2] Carra’Ferro，G.：Gröbner基与微分代数，《Comp.讲义》。科学。356，施普林格，纽约，1987年，第129-140页。
[3] 卡拉·费罗（Carra’Ferro，G.）：关于微分维数的一些评论，摘自《计算机》讲义。科学。357，施普林格，纽约，1988年，第152-163页。
[4] Carra’Ferro，G.和Gallo，G.：证明几何陈述的程序，摘自《计算机课程讲稿》。科学。356，施普林格，纽约，1987年，第141-150页。
[5] Carra’Ferro，G.和Gallo，G.：证明微分几何中语句的程序，J.Automat。推理6（1990），203-209·Zbl 0697.68081号 ·doi:10.1007/BF00245819
[6] Cartan，E.：Les systèmes différentieles extérieurs et leuers applications gémetrics，赫尔曼，巴黎，1945年。
[7] Chou，S.C.和Gao，X.S.：微分几何和力学中使用特征集方法的自动推理，第一部分和第二部分，J.Automat。推理10（1993），161-189·Zbl 0782.68100号 ·doi:10.1007/BF00881834
[8] Ganzha，V.G.、Meleshko，S.V.和Shelest，V.P.：Reduce系统在PDE系统一致性分析中的应用，摘自《ISSAC’90年会刊》，Addison-Wesley，纽约，1990年，第301页。
[9] Ganzha，V.G.、Meleshko，S.V.和Strampp，W.：REDUCE系统在气体动力学方程兼容性分析中的应用，预印本，1992年。
[10] Janet，M.：《系统方程和偏导数》，J.Math。3 (1920), 65-151.
[11] Kapur，D.：《使用Gröbner基来推理几何问题》，J.符号计算。2(4) (1986), 399-405. ·Zbl 0629.68087号 ·doi:10.1016/S0747-7171（86）80007-4
[12] Kolchin，E.R.：《微分代数和代数群》，学术出版社，纽约，1973年·Zbl 0264.12102号
[13] Kuranishi，M.：偏微分方程对合系统讲座，出版物。社会数学。圣保罗，1967年·Zbl 0163.12001号
[14] Kutzler，B.和Stifter，S.：关于Buchberger算法在自动几何定理证明中的应用，J.符号计算。2(4) (1986), 389-398. ·Zbl 0629.68086号 ·doi:10.1016/S0747-7171（86）80006-2
[15] Pommaret，J.F.：《偏微分方程和李伪群系统》，Gordon和Breach，纽约，1978年·Zbl 0418.35028号
[16] Pommaret，J.F.：微分伽罗瓦理论，Gordon和Breach，纽约，1983年·Zbl 0528.12019
[17] Reid，G.J.：将PDE系统简化为标准形式的算法，确定其解空间的维数并计算其泰勒级数解，欧洲J.Appl。数学。2（1991），第293-318页·Zbl 0768.35001号 ·doi:10.1017/S0956792500000577
[18] Riquier，C.H.：《Les systèmes d’équations aux deriveées partielles》，巴黎，1910年。
[19] Ritt，J.F.：微分代数，AMS Coll。出版物。33岁，阿米尔。数学。Soc.，Provident，1950年·Zbl 0037.18402号
[20] Schwarz，F.：确定对称群大小的算法，预印本，1992年·Zbl 0759.68042号
[21] Schwarz，F.：偏微分方程的约简和补全算法，inProc。ISSAC’92，预印本，1992年。
[22] 托马斯，J.M.：里基尔存在定理，《数学年鉴》。30 (1929), 285-321. ·doi:10.2307/1968282
[23] 托马斯，J.M.：里基尔存在定理，《数学年鉴》。35 (1934), 306-311. ·Zbl 0010.02202号 ·doi:10.2307/1968434
[24] Wu，W.T.：《基于J.F.Ritt著作的微分代数几何构造理论及其在微分几何力学定理证明中的特殊应用》，数学课堂讲稿。纽约施普林格1255号，1987年·Zbl 0673.03006号
[25] Wu，W.T.：微分几何的机械定理证明及其在力学中的一些应用，J.自动机。推理7（2）（1991），171-191·Zbl 0736.03002号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。