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校准仪;日本国债交易所;ArgoCLP公司;地理1.1;Giac公司;Coq公司;MMP/几何仪;灰姑娘;ArgoTriCS公司;几何画板;萨特齐拉;伊莎贝尔/HOL;地理视图;单一 引用于: 10文件 标准条款 1出版物描述软件,包括1出版物以zbMATH为单位 年份 几何构造语言。 Zbl 1185.68626号贾尼契奇,普雷德拉格 2010 全部的 前5名20位作者引用 6 贾尼契奇,普雷德拉格 4 Marinković,韦斯纳 三 佐尔坦科瓦奇 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) 按年份列出的引文