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/几何仪;地理视图;开放式地质验证仪;卢加雷斯;数学软件;可可;单一;gcl公司;ArgoCLP公司;三峡工程 引用于： 34文件 全部的 前5名38位作者引用 7 佩德罗·夸雷斯马 6 弗朗西斯科·博塔纳 6 高晓山 6 贾尼契奇，普雷德拉格 5 佐尔坦科瓦奇 5 朱利安·纳布克斯 4 周尚卿 三 叶，郑 2 格拉齐亚尼，皮耶路易吉 2 托马斯·雷西奥 2 JoséL.Valcarce。 2 张景忠 1 米盖尔·安杰尔·阿巴纳德斯（Miguel Angel Abánades） 1 巴埃塔，努诺 1 伊夫·贝托特 1 皮埃尔·布特里 1 加布里埃尔·布劳恩 1 陈汉飞 1 陈文生 1 陈晓宇 1 Génevaux，让-大卫 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） 按年份列出的引文