乌尔里奇·科滕坎普;里希特·盖伯特(Jürgen Richter-Gebert) 动态几何中的决策复杂性。 (英语) Zbl 0985.68558号 Richter-Gebert,Jürgen(编辑)等人,《几何中的自动演绎》。第三届国际研讨会,ADG 2000,瑞士苏黎世,2000年9月25-27日。修改后的文件。柏林:斯普林格。莱克特。注释计算。科学。2061, 193-198 (2001). 概述:几何直线程序可用于建模几何结构及其隐式歧义。在本文中,我们讨论了决定同一几何直线程序的两个实例是否由连续路径连接的复杂性,即复可达性问题。关于整个系列,请参见[Zbl 0971.00045号]. 引用于1文件 MSC公司: 68单位05 计算机图形;计算几何(数字和算法方面) 软件:灰姑娘 PDF格式BibTeX公司 XML格式引用 \textit{U.Kortenkamp}和\textit{J.Richter-Gebert},莱克特。注释计算。科学。2061193-198(2001年;Zbl 0985.68558) 全文: 链接