GMBL公司 swMATH ID: 40704 软件作者： Ryan Krueger；Han、Jesse Michael；丹尼尔·塞尔萨姆 描述： 为奥运会几何问题自动构建图表。我们提出了一种自动构建奥林匹克级几何问题图表的方法，并在一种新的开源软件工具geometry Model Builder（GMB）中实现了我们的方法。我们的方法的核心是一种新的特定于域的语言，即几何模型构建语言（GMBL），用于指定几何问题以及用于构建图表的其他元数据。GMBL程序指定了（1）如何参数化几何对象（或几何对象集）并初始化这些参数化的量，（2）直接从其他量计算哪些量，以及（3）附加约束以累加为（可微）损失函数。GMBL程序产生了一个（通常）易于处理的数值优化问题，其解与原始问题陈述的图表相对应，并且我们可以使用梯度下降可靠地求解。自2000年国际数学奥林匹克竞赛以来出现的39道几何题中，36道可以用我们的逻辑表示，我们的系统可以为94道几何题绘制图表 主页： https://arxiv.org/abs/2012.02590 相关软件： TensorFlow公司;MMP/几何仪;地理1.1;彭罗斯;科学Py;几何画板;SymPy公司;枫树;GCLC公司;灰姑娘 引用于： 1文件 标准条款 1出版物描述软件，包括1出版物以zbMATH为单位 年份 为奥运会几何问题自动构建图表。 Zbl 07437101号瑞安·克鲁格;韩，杰西·迈克尔;丹尼尔·塞尔萨姆 2021 3位作者引用 1 韩，杰西·迈克尔 1 瑞安·克鲁格 1 丹尼尔·塞尔萨姆 0连载引用 在2个字段中引用 1 数学逻辑和基础（03-XX） 1 计算机科学（68至XX） 按年份列出的引文