GCLC公司 swMATH ID: 326 软件作者: 贾尼契奇,普雷德拉格 描述: 我们介绍了GCLC/WinGCLC–一种可视化几何(而不仅仅是几何)对象和概念的工具,用于数学教学和研究,并用于制作高质量的数学插图。GCLC使用GC语言对图形进行声明性表示,并以文本形式存储可视化性质的数学内容。在GCLC中,有一个内置的几何定理证明程序,它将直观和语义的几何信息与演绎性质和机器生成的证明直接联系在一起。 主页: http://poincare.matf.bg.ac.rs/~janicic/gclc/ 关键词: 可视化几何对象 相关软件: GeoThms公司;GeoGebra公司;GCL校准仪;GEX公司;灰姑娘;gcl公司;地理1.1;地理证明;MMP/几何仪;Coq公司;OpenGeoProver(OpenGeoProvider);三峡工程;Intergeo公司;日本国债交易所;ArgoCLP公司;地理视图;TPTP公司;几何画板;电子几何教科书;克莱德思 引用于: 34文件 标准条款 1出版物描述软件,包括1出版物以zbMATH为单位 年份 GCLC–一个用于构造欧几里德几何的工具。 Zbl 1230.51024号贾尼契奇,普雷德拉格 2006 全部的 前5名46位作者引用 12 贾尼契奇,普雷德拉格 11 佩德罗·夸雷斯马 5 韦斯纳·马林科维奇 三 陈晓宇 三 佐尔坦科瓦奇 三 朱利安·纳布克斯 2 努诺·贝塔 2 弗朗西斯科·博塔纳 2 格拉齐亚尼,皮耶路易吉 2 帕斯卡·施雷克 1 托比亚斯·巴瑟尔 1 皮埃尔·布特里 1 加布里埃尔·布劳恩 1 埃马纽埃尔·布鲁伊拉德 1 格雷厄姆·丹纳姆 1 阿巴斯·埃达拉特 1 亚萨·费拉根 1 乔瓦尼·盖菲 1 韩,杰西·迈克尔 1 迈克尔·霍奇曼 1 马库斯·霍恩瓦特 1 托马斯·霍茨 1 斯蒂芬·赫克曼(Stephan F.Huckemann)。 1 艾达、铁雄 1 安德烈斯·伊格莱西亚斯 1 吉梅内斯·罗兰,丽塔 1 塞萨里·卡利西克 1 汉宁·克劳斯 1 瑞安·克鲁格 1 安德烈,队长 1 菲利普·马里奇 1 以斯拉·米勒 1 姆拉丹·尼科利奇 1 伊万·彼得罗维奇 1 托马斯·雷西奥 1 万达桑托斯 1 米利卡·塞拉科维奇 1 丹尼尔·塞尔萨姆 1 巴勃罗·施默金。 1 韦斯纳,斯托亚诺斯卡 1 萨那斯托亚诺维奇 1 亚历山大一世苏丘。 1 什乌基洛维奇,蒂亚纳 1 高山,Nobuki 1 王东明 1 西蒙·魏茨霍弗 全部的 前5名8篇连载文章中引用 5 数学与人工智能年鉴 4 自动化推理杂志 4 Oberwolfach报告 4 计算机科学中的数学 三 符号计算杂志 1 理论计算机科学 1 系统科学与复杂性杂志 1 计算机科学课堂讲稿 全部的 前5名在20个字段中引用 29 计算机科学(68至XX) 14 几何图形(51至XX) 6 数学逻辑和基础(03-XX) 5 总体主题;集合(00-XX) 三 代数几何(14-XX) 三 代数拓扑(55-XX) 2 群论与推广(20-XX) 2 数值分析(65-XX) 2 数学教育(97-XX) 1 数论(11-XX) 1 结合环与代数(16-XX) 1 范畴理论;同调代数(18-XX) 1 测量和集成(28-XX) 1 几个复变量和分析空间(32-XX) 1 动力学系统与遍历理论(37至XX) 1 凸和离散几何(52至XX) 1 微分几何(53至XX) 1 流形和细胞复合体(57至XX) 1 概率论与随机过程(60-XX) 1 统计学(62-XX) 按年份列出的引文