佐尔坦科瓦奇；帕维尔·佩奇 轨迹方程计算中在假设中自动包含一些非简并条件的实验。 （英文） Zbl 1428.68343号 Kaliszyk，Cezary（编辑）等人，《智能计算机数学》。2019年7月8日至12日在捷克共和国布拉格举行的第十二届国际会议，CICM 2019。诉讼程序。查姆：斯普林格。勒克特。注释计算。科学。11617, 140-154 (2019). 小结：在几何自动推理中，特别是在计算轨迹方程时，退化分量通常起着重要作用。尽管考虑到不同的数学传统，简并可能具有多重含义，但从几何角度来看，避免简并分量是有用的。轨迹方程的计算通常基于消除变量。在大多数情况下，会检查图形输出之后计算结果和退化分量将被手动删除。在我们的实验中，我们规定了非简并性之前开始任何计算，并期望退化组件自动消失。在本文中，我们研究了这些假设是否可以自动化，是否可以通过自动删除退化分量来帮助提高输出，以及由于计算量较大，计算是否仍然可行。我们的实验已经在GeoGebra 5.0.524.0中实现了我们的算法。关于整个系列，请参见[Zbl 1428.68028号]. MSC公司： 68伏15 定理证明（自动和交互式定理证明、演绎、解析等） 68单位05 计算机图形；计算几何（数字和算法方面） 关键词：几何中的自动推理；非简并条件；轨迹方程；地衣 软件：GeoGebra公司 PDF格式BibTeX公司 XML格式引用 \textit{Z.Kovács}和\textit{P.Pech}，莱克特。注释计算。科学。11617、140-154（2019年；Zbl 1428.68343） 全文： 内政部