T·雷西奥。;博塔纳,F。 真理所在(初等几何中的自动定理证明)。 (英语) Zbl 1127.68428号 Laganá,Antonio(编辑)等人,《计算科学及其应用——ICCSA 2004》。2004年5月14日至17日,意大利阿西西国际会议。诉讼,第二部分。柏林:施普林格出版社(ISBN 3-540-22056-9/pbk)。《计算机科学讲义》3044761-770(2004)。 摘要:本文使用第二作者共同开发的一种新的集成定理证明器(GDI)来讨论MacLane的一个几何结果,即(8{3})定理[S.麦克莱恩《美国数学杂志》。58, 236–240 (1936;Zbl 0013.19503号和JFM 62.0649.02型)]根据一些作者的说法,这已经被宣布为正确,而另一些作者则声称这是错误的。我们的方法基于Gröbner基计算,并说明了代数自动定理证明模型中有争议的真理概念,以及GDI提供的一些新功能。本文还简要讨论了这些独特功能背后的思想在计算机图形学中的潜在应用。关于整个系列,请参见[Zbl 1051.68015号]. 引用于5文件 MSC公司: 68吨15 定理证明(演绎、解析等)(MSC2010) 68瓦30 符号计算和代数计算 51-04 几何相关问题的软件、源代码等 2004年5月51日 欧几里德几何中的基本问题 引文:Zbl 0013.19503号;JFM 62.0649.02型 软件:网络发现;卢加雷斯;灰姑娘;可可 PDF格式BibTeX公司 XML格式引用 \textit{T.Recio}和\textit{F.Botana},莱克特。注释计算。科学。3044761--770(2004;Zbl 1127.68428) 全文: DOI程序