ArgoTriCS公司 swMATH ID: 15542 软件作者: V·马里科维奇。 描述: ArgoTriCS-自动三角形构造求解器。本文提出了一种自动求解一类直线罗经构造问题的方法。这些问题的目标是构造一个给定三个定位点的三角形。该方法基于识别和系统化几何知识、特定的受限搜索以及处理冗余或局部相关实例。该方法已经实现,当前的实现可以解决大量的三角形构造问题。据我们所知,这是第一个系统化的自动构造求解器,专注于解决给定语料库中的问题。这也是第一种考虑证明生成构造正确性的方法(使用外部自动定理证明器)。 主页: http://argo.matf.bg.ac.rs/publications/2015/ArgoTriCS.pdf 相关软件: GCLC公司;GeoGebra公司;GeoThms公司;GCL校准仪;三峡工程;OpenGeoProver(OpenGeoProvider);gcl公司;灰姑娘;GEX公司;ArgoCLP公司;欧几里得亚纲;谜;战术脚趾;梅斯4;校准仪9;水獭;草图测量;克莱德思;几何画板;苏克雷德斯 引用于: 5文件 全部的 前5名12位作者引用 三 贾尼契奇,普雷德拉格 三 韦斯纳·马林科维奇 1 佐尔坦科瓦奇 1 雅罗斯拉夫·麦克 1 姆拉丹·尼科利奇 1 米罗斯拉夫·奥沙克 1 佩德罗·夸雷斯马 1 帕斯卡·施雷克 1 Sedlář,Jiൿí 1 米利卡·塞拉科维奇 1 约瑟夫·西维奇 1 约瑟夫·乌尔班 引用于3个系列 2 计算机科学中的数学 1 符号计算杂志 1 数学与人工智能年鉴 在3个字段中引用 5 计算机科学(68至XX) 2 几何形状(51至XX) 1 数学教育(97-XX) 按年份列出的引文