GEX公司 swMATH ID: 9961 软件作者: Gao,X.-S.等。 描述: 几何专家(Geometry Expert,GEX)是一个用于绘制动态图和自动证明和发现几何定理的软件。作为一个动态几何软件,GEX可以用来建立动态可视化模型,以帮助各种数学概念的教学。作为一个自动推理软件,我们可以建立能够自己进行推理的动态逻辑模型。1) 几何专家(GEX)是一个强大的几何推理计算机程序。在其领域内,它邀请与最好的人类几何证明人进行比较。它实现了过去二十年中介绍的大多数有效的几何推理方法,包括演绎基方法、吴方法、面积方法、Groebner基方法、向量方法和全角度方法。通过这些方法,用户可以自动证明几何定理,发现定理的新部分,并为许多几何定理生成可读的证明。2) 我们所说的动态视觉模型是指由计算机软件建立的可以动态更改的模型。利用GEX,我们可以构建四类动态视觉模型:几何变换、轨迹生成、函数图和轨迹生成。 主页: http://www.mmrc.iss.ac.cn/gex网站/ 相关软件: GeoGebra公司;日本国债交易所;GCLC公司;地理证明;GeoThms公司;灰姑娘;地理1.1;Coq公司;GCL校准仪;几何画板;MMP/几何仪;OpenGeoProver(OpenGeoProvider);卢加雷斯;数学软件;可可;地理视图;单一;gcl公司;ArgoCLP公司;TGTP公司 引用于: 34文件 全部的 前5名38位作者引用 7 佩德罗·夸雷斯马 6 弗朗西斯科·博塔纳 6 高晓山 6 贾尼契奇,普雷德拉格 5 Kovács,佐尔坦 5 朱利安·纳布克斯 4 周尚卿 三 叶,郑 2 格拉齐亚尼,皮尔路易吉 2 托马斯·雷西奥 2 JoséL.Valcarce。 2 张景忠 1 米盖尔·安杰尔·阿巴纳德斯(Miguel Angel Abánades) 1 努诺·贝塔 1 伊夫·贝托特 1 皮埃尔·布特里 1 加布里埃尔·布劳恩 1 陈汉飞 1 陈文生 1 陈晓宇 1 杰恩·达维德·盖内沃 1 汉斯·格特·格拉贝 1 马库斯·霍恩瓦特 1 姜建国 1 韦斯纳·马林科维奇 1 姆拉丹·尼科利奇 1 米罗斯拉夫·奥沙克 1 伊万·彼得罗维奇 1 范、团明 1 尤金尼奥·罗内斯·洛扎诺 1 罗内斯·马西亚斯,尤金尼奥 1 万达桑托斯 1 帕斯卡·施雷克 1 塞拉州索利姆-盖塞 1 唐建良 1 尼古拉斯·范·拉贝克 1 西蒙·魏茨霍弗 1 朱昌才 全部的 前5名8篇连载文章中引用 7 自动推理杂志 4 模拟中的数学和计算机 4 数学与人工智能年鉴 2 符号计算杂志 2 计算机科学与技术杂志 2 系统科学与复杂性杂志 2 计算机科学中的数学 1 计算几何 全部的 前5名在9个字段中引用 33 计算机科学(68至XX) 13 几何图形(51至XX) 4 数学逻辑和基础(03-XX) 三 数学教育(97-XX) 2 数值分析(65-XX) 1 交换代数(13-XX) 1 代数几何(14-XX) 1 粒子和系统力学(70-XX) 1 信息与通信理论、电路(94-XX) 按年份列出的引文