迪帕克·卡普尔 使用Gröbner基来推理几何问题。 （英语） Zbl 0629.68087号 J.塞姆。计算。 2, 399-408 (1986). 引用于35文件 MSC公司： 68吨15 定理证明（演绎、解析等）（MSC2010） 68瓦30 符号计算和代数计算 关键词：Gröbner基计算;几何推理;多项式方程;几何定理的自动证明 PDF格式BibTeX公司 XML格式引用 \textit｛D.Kapur｝，J.Symb。计算。2399--408（1986年；Zbl 0629.68087） 全文： 内政部 参考文献： [1] Buchberger，B.，《寻找零维多项式理想剩余类环基的算法》（德国）（1965年），因斯布鲁克大学数学研究所博士论文·Zbl 1245.13020号 [2] Buchberger，B.，代数方程组可解性的算法准则（德语），Aequ。数学，4374-383（1970）·Zbl 0212.06401号 [3] Buchberger，B.，《检测Gröbner基地建设中不必要减少的标准》，in:（Ng，W.，ed.）Proc。EUROSAM 79，马赛，1979年6月。斯普林格Lec。票据构成。科学，72，3-21（1979）·Zbl 0417.68029号 [4] Buchberger，B.，Gröbner bases:多项式理想理论中的算法方法，（Bose，多维系统理论（1985），Reidel:Reidel Dordrecht），184-232·Zbl 0587.13009号 [5] Chou，S.C.，用吴算法证明初等几何定理，In:（Bledsoe，Loveland，eds），自动定理证明：25年后。康斯坦普。数学，29，243-286（1984）·Zbl 0578.68079号 [6] Chou，S.C.，《利用Wa方法证明和发现初等几何中的Tg定理》（1985），德克萨斯大学数学系，奥斯汀 [7] Chou，S.C。；谢尔特，W.F.，《使用重写Rttles自动证明几何定理》。奥斯汀德克萨斯大学数学系未出版手稿（1985年） [8] Hermann，G.，《多项式理论的碎片》，《数学年鉴》，95，736-788（1926） [9] 卡普尔，D。；穆瑟，D.R。；Narendran，P.，《Kmah-Bendix完井程序只需考虑基本叠加（1984）》，通用电气研发中心报告：通用电气研发中央报告，纽约州斯克内克塔迪，未出版手稿 [10] Kapur，D.，（使用Hilbert’s Nullstellensatz证明几何定理（1986）），（发表于加拿大滑铁卢86号SYMSAC。扩展版将作为通用电气研发中心报告发表。） [11] 库兹勒，B。；Stifter，S.，《关于Buchberger算法在几何定理自动证明中的应用》，J.Symb。公司。，2389-397（1986），（本期）·Zbl 0629.68086号 [12] Pohst，M.E。；Yun，D.Y.Y.，《关于通过理想基和消元理论求解代数方程组》（Proc.1981 ACM Syrup.On Symbolic and algebraic Computation，SYMSAC，81）（1981），206-211·Zbl 0489.68034号 [13] Wu，W.T.，《关于初等几何中定理证明的决策问题和机械化》，《学报》，第21期，第150-172页（1978年）·Zbl 0376.68057号 [14] Wu，W.T.，《初等几何中机械定理证明的基本原理》，J.Syst。科学。数学。科学，4207-235（1984） [15] Wu，W.T.，几何力学定理证明的一些最新进展，in：（Bledsoe，Loveland，eds.）自动化定理证明：25年后。Coatemp公司。数学，29，235-241（1984）·兹比尔0578.68077 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。