gcl公司 swMATH ID: 7212 软件作者： 贾尼契奇，普雷德拉格 描述： 几何构造语言（gcl）是一种用于显式描述欧几里德平面上的构造及其特性的语言。其他数学对象也可以用语言描述。gcl语言直观而简单，但它支持数组、流控制结构、用户定义的过程等。gcl语言的处理器应用程序gclc和Wingclc能够可视化描述的对象并生成数学插图，提供不同的语义信息并支持所构建对象的属性的自动证明。这些功能使工具gclc和Wingclc强大的机械化几何系统，在全球拥有数千名用户。 主页： http://rd.springer.com/article/10.1007%2Fs10817-009-9135-8 关键词： 几何结构;动态几何软件;几何定理的自动证明 相关软件： GCLC公司;GEX公司;GeoGebra公司;OpenGeoProver（OpenGeoProvider）;地理证明;GeoThms公司;GCL校准仪;JGEX公司;ArgoCLP公司;地理1.1;Giac公司;Coq公司;MMP/几何仪;灰姑娘;ArgoTriCS公司;几何画板;萨特齐拉;伊莎贝尔/HOL;地理视图;单一 引用于： 10文件 标准条款 1出版物描述软件，包括1出版物以zbMATH为单位 年份 几何构造语言。 Zbl 1185.68626号贾尼契奇，普雷德拉格 2010 全部的 前5名20位作者引用 6 贾尼契奇，普雷德拉格 4 韦斯纳·马林科维奇 三 佐尔坦科瓦奇 2 弗朗西斯科·博塔纳 2 佩德罗·夸雷斯马 1 努诺·贝塔 1 格拉齐亚尼，皮尔路易吉 1 马库斯·霍恩瓦特 1 艾达、铁雄 1 塞萨里·卡利西克 1 菲利普·马里奇 1 朱利安·纳布克斯 1 姆拉丹·尼科利奇 1 伊万·彼得罗维奇 1 托马斯·雷西奥 1 万达桑托斯 1 帕斯卡·施雷克 1 米利卡·塞拉科维奇 1 什乌基洛维奇，蒂亚纳 1 西蒙·魏茨霍弗 3篇连载文章中引用 三 自动推理杂志 三 数学与人工智能年鉴 2 符号计算杂志 在4个字段中引用 10 计算机科学（68至XX） 4 几何形状（51至XX） 2 数理逻辑与基础（03-XX） 1 数学教育（97-XX） 按年份列出的引文