GEOPAR公司 swMATH ID: 26046 软件作者： 埃里克·布劳德；Satbek Abdyldayev 描述： 用自动实现推广莫利定理和其他定理。本文提出了一种新的方法，通过重新构造约束满足来机械地证明平面几何中的各种定理。一个名为GEOPAR的Python 3实现提供了著名定理和新定理的透明证明，包括莫利定理的推广。 主页： https://github.com/ebraude/geopar 源代码： https://github.com/ebraude/geopar 关键词： 自动几何证明；莫利定理；实现；角度约束；自动几何推理；定理验证；定理生成 相关软件： github；蟒蛇 引用于： 1文件 2位作者引用 1 Satbek Abdyldayev 1 勇敢，埃里克·约翰 连载1篇 1 自动推理杂志 在2个字段中引用 1 几何图形（51至XX） 1 计算机科学（68至XX） 按年份列出的引文